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