Erin is young. Harry is furry. If Harry is blue then Harry is white. Nice people are blue. Blue, young people are white. All blue, young people are nice. If someone is white and smart then they are furry. If Erin is furry then Erin is nice.
Erin is young.
("Erin" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
If Harry is blue then Harry is white.
((("Harry" "is" "blue" "+")) -> ("Harry" "is" "white" "+"))
Nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Blue, young people are white.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
All blue, young people are nice.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is white and smart then they are furry.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
If Erin is furry then Erin is nice.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "nice" "+"))
Erin is young.
True
1
proof
[(triple1)]
("Erin" "is" "young" "+")
triple1
Harry is not furry.
False
1
inv-proof
[(triple2)]
("Harry" "is" "furry" "-")
triple2
Erin is not nice.
Unknown
inv-rconc
[@4: Erin is nice.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule6 <- rule5 <- FAIL)]]
("Erin" "is" "nice" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Erin is young.[(triple1)] Harry is furry.[(triple2)]
Erin is young.
("Erin" "is" "young" "+")
triple1
Harry is furry.
("Harry" "is" "furry" "+")
triple2