Anne is furry. Anne is rough. Anne is white. Bob is blue. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is white. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is white. If someone is green and furry then they are blue. If someone is kind and furry then they are blue. If Anne is green then Anne is kind. Kind people are white. Quiet people are white. All rough, green people are blue.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is green and furry then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and furry then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If Anne is green then Anne is kind.
((("Anne" "is" "green" "+")) -> ("Anne" "is" "kind" "+"))
Kind people are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
Quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
All rough, green people are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Bob is blue.
True
1
proof
[(triple4 OR ((triple8 triple5) -> rule6))]
("Bob" "is" "blue" "+")
triple4
((triple8 triple5) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Fiona is not kind.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "kind" "-")
triple13
Anne is not blue.
Unknown
inv-rconc
[@2: Anne is blue.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Anne" "is" "blue" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Bob is blue.[(triple4 OR ((triple8 triple5) -> rule6))] Bob is green.[(triple5)] Bob is kind.[(triple6)] Bob is quiet.[(triple7)] Bob is rough.[(triple8)] Bob is white.[(triple9 OR ((triple6) -> rule4) OR ((triple7) -> rule5))] Fiona is blue.[(triple10 OR ((triple12 triple11) -> rule1) OR ((triple13 triple11) -> rule2) OR ((triple15 triple12) -> rule6))] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] Fiona is kind.[(triple13)] Fiona is quiet.[(triple14)] Fiona is rough.[(triple15)] Fiona is white.[(triple16 OR ((triple13) -> rule4) OR ((triple14) -> rule5))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
((triple8 triple5) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple9
((triple6) -> (rule4 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple7) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
((triple12 triple11) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple13 triple11) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple15 triple12) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Fiona is white.
("Fiona" "is" "white" "+")
triple16
((triple13) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple14) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1