Anne is furry. Anne is white. Dave is big. Dave is furry. Dave is green. Dave is quiet. Fiona is big. Fiona is blue. Fiona is green. Fiona is white. Rough, furry people are blue. If Dave is white and Dave is blue then Dave is furry. If someone is white and quiet then they are rough. All white, green people are quiet. Rough, big people are white. If someone is quiet and furry then they are blue. If someone is quiet then they are green. If someone is white then they are rough.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Rough, furry people are blue.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If Dave is white and Dave is blue then Dave is furry.
((("Dave" "is" "white" "+") ("Dave" "is" "blue" "+")) -> ("Dave" "is" "furry" "+"))
If someone is white and quiet then they are rough.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
All white, green people are quiet.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
Rough, big people are white.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
If someone is quiet and furry then they are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is quiet then they are green.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
If someone is white then they are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
Anne is furry.
True
1
proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Anne is not white.
False
1
inv-proof
[(triple2)]
("Anne" "is" "white" "-")
triple2
Anne is not quiet.
Unknown
inv-rconc
[@2: Anne is quiet.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Anne" "is" "quiet" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is white.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple4)] Dave is green.[(triple5 OR ((triple6) -> rule7))] Dave is quiet.[(triple6)] Fiona is big.[(triple7)] Fiona is blue.[(triple8)] Fiona is green.[(triple9)] Fiona is white.[(triple10)] @1: Anne is rough.[(((triple2) -> rule8))] Dave is blue.[(((triple6 triple4) -> rule6))] Fiona is quiet.[(((triple10 triple9) -> rule4))] Fiona is rough.[(((triple10) -> rule8) OR ((triple10 ((triple10 triple9) -> rule4)) -> rule3))] @2: Anne is blue.[(((((triple2) -> rule8) triple1) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
((triple6) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Anne is rough.
("Anne" "is" "rough" "+")
((triple2) -> (rule8 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple6 triple4) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple10 triple9) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple10) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple10 ((triple10 triple9) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
((((triple2) -> (rule8 % int2)) triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2