Erin is big. Erin is not blue. Erin is not kind. Erin is red. Harry is big. Harry is kind. Harry is rough. If Harry is blue then Harry is not red. If something is big and not rough then it is not kind. If something is big and not rough then it is kind. Furry things are kind. Rough, smart things are blue. Big, blue things are furry. All rough, kind things are not furry. If Harry is smart then Harry is kind.
Erin is big.
("Erin" "is" "big" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is red.
("Erin" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If Harry is blue then Harry is not red.
((("Harry" "is" "blue" "+")) -> ("Harry" "is" "red" "-"))
If something is big and not rough then it is not kind.
((("something" "is" "big" "+") ("something" "is" "rough" "~")) -> ("something" "is" "kind" "-"))
If something is big and not rough then it is kind.
((("something" "is" "big" "+") ("something" "is" "rough" "~")) -> ("something" "is" "kind" "+"))
Furry things are kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
Rough, smart things are blue.
((("something" "is" "rough" "+") ("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
Big, blue things are furry.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
All rough, kind things are not furry.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "-"))
If Harry is smart then Harry is kind.
((("Harry" "is" "smart" "+")) -> ("Harry" "is" "kind" "+"))
Erin is red.
True
1
proof
[(triple4)]
("Erin" "is" "red" "+")
triple4
Erin is blue.
False
1
inv-proof
[(triple2)]
("Erin" "is" "blue" "+")
triple2
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Erin is big.[(triple1)] Erin is not blue.[(triple2)] Erin is not kind.[(triple3)] Erin is red.[(triple4)] Harry is big.[(triple5)] Harry is kind.[(triple6)] Harry is rough.[(triple7)] @1: Harry is not furry.[(((triple7 triple6) -> rule7))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is not blue.
("Erin" "is" "blue" "-")
triple2
Erin is not kind.
("Erin" "is" "kind" "-")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is not furry.
("Harry" "is" "furry" "-")
((triple7 triple6) -> (rule7 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1