Anne is cold. Anne is furry. Anne is green. Anne is rough. Anne is smart. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is white. Erin is furry. Erin is rough. Harry is green. Harry is smart. Harry is white. If someone is green then they are white. Cold people are rough. Smart, white people are green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is green then they are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Smart, white people are green.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Bob is furry.
True
1
proof
[(triple7)]
("Bob" "is" "furry" "+")
triple7
Bob is not white.
False
1
inv-proof
[(triple10 OR ((triple8) -> rule1))]
("Bob" "is" "white" "-")
triple10
((triple8) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Anne is white.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "white" "+")
((triple3) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Bob is not rough.
False
2
inv-proof
[(((triple6) -> rule2))]
("Bob" "is" "rough" "-")
((triple6) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "green" "-")
Erin is white.
Unknown
rconc
[@2: Erin is white.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Erin" "is" "white" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is rough.[(triple4 OR ((triple1) -> rule2))] Anne is smart.[(triple5)] Bob is cold.[(triple6)] Bob is furry.[(triple7)] Bob is green.[(triple8)] Bob is quiet.[(triple9)] Bob is white.[(triple10 OR ((triple8) -> rule1))] Erin is furry.[(triple11)] Erin is rough.[(triple12)] Harry is green.[(triple13 OR ((triple14 triple15) -> rule3))] Harry is smart.[(triple14)] Harry is white.[(triple15 OR ((triple13) -> rule1))] @1: Anne is white.[(((triple3) -> rule1))] Bob is rough.[(((triple6) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is furry.
("Bob" "is" "furry" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
triple8
Bob is quiet.
("Bob" "is" "quiet" "+")
triple9
Bob is white.
("Bob" "is" "white" "+")
triple10
((triple8) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple11
Erin is rough.
("Erin" "is" "rough" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
((triple14 triple15) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
((triple13) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple3) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple6) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1