Anne is big. Erin is big. Fiona is white. Furry, smart things are big. If Anne is white then Anne is furry. If Erin is white then Erin is furry. All red things are blue. If something is blue then it is round. All furry, smart things are round.
Anne is big.
("Anne" "is" "big" "+")
Erin is big.
("Erin" "is" "big" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Furry, smart things are big.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
If Anne is white then Anne is furry.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "furry" "+"))
If Erin is white then Erin is furry.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "furry" "+"))
All red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it is round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
All furry, smart things are round.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
Erin is big.
True
1
proof
[(triple2)]
("Erin" "is" "big" "+")
triple2
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Erin is not round.
Unknown
inv-rconc
[@2: Erin is round.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Erin" "is" "round" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is big.[(triple1)] Erin is big.[(triple2)] Fiona is white.[(triple3)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3