Anne is big. Anne is furry. Anne is kind. Anne is white. Dave is cold. Dave is kind. Dave is red. Dave is rough. Dave is white. Fiona is cold. Fiona is white. Harry is kind. Kind people are red. All cold, furry people are big. Red, big people are kind. All big, cold people are white. All red, rough people are furry. All rough, white people are furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
All cold, furry people are big.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Red, big people are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
All big, cold people are white.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
All red, rough people are furry.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
All rough, white people are furry.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Anne is white.
True
1
proof
[(triple4)]
("Anne" "is" "white" "+")
triple4
Anne is not kind.
False
1
inv-proof
[(triple3)]
("Anne" "is" "kind" "-")
triple3
Fiona is not kind.
Unknown
inv-rconc
[@2: Fiona is kind.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Fiona" "is" "kind" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is white.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6 OR ((triple7 ((triple5 ((triple7 triple8) -> rule5)) -> rule2)) -> rule3) OR ((triple7 ((triple5 ((triple8 triple9) -> rule6)) -> rule2)) -> rule3))] Dave is red.[(triple7 OR ((triple6) -> rule1))] Dave is rough.[(triple8)] Dave is white.[(triple9 OR ((((triple5 ((triple7 triple8) -> rule5)) -> rule2) triple5) -> rule4) OR ((((triple5 ((((triple6) -> rule1) triple8) -> rule5)) -> rule2) triple5) -> rule4))] Fiona is cold.[(triple10)] Fiona is white.[(triple11)] Harry is kind.[(triple12)] @1: Anne is red.[(((triple3) -> rule1))] Dave is furry.[(((triple7 triple8) -> rule5) OR ((triple8 triple9) -> rule6) OR ((((triple6) -> rule1) triple8) -> rule5))] Harry is red.[(((triple12) -> rule1))] @2: Dave is big.[(((triple5 ((triple7 triple8) -> rule5)) -> rule2) OR ((triple5 ((triple8 triple9) -> rule6)) -> rule2) OR ((triple5 ((((triple6) -> rule1) triple8) -> rule5)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
((triple7 ((triple5 ((triple7 triple8) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple7 ((triple5 ((triple8 triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
triple7
((triple6) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
((((triple5 ((triple7 triple8) -> (rule5 % int3))) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple5 ((((triple6) -> (rule1 % int4)) triple8) -> (rule5 % int3))) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Anne is red.
("Anne" "is" "red" "+")
((triple3) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((triple7 triple8) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple8 triple9) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple6) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple12) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple5 ((triple7 triple8) -> (rule5 % int2))) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((triple5 ((triple8 triple9) -> (rule6 % int2))) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((triple5 ((((triple6) -> (rule1 % int3)) triple8) -> (rule5 % int2))) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3