Erin is nice. Gary is green. Harry is big. If Harry is not round then Harry is not white. If something is young then it is not white. All big, round things are not green. All green, young things are big. If Erin is not big then Erin is not nice. If something is young and not white then it is quiet. All big things are nice. If something is white and quiet then it is nice.
Erin is nice.
("Erin" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If Harry is not round then Harry is not white.
((("Harry" "is" "round" "~")) -> ("Harry" "is" "white" "-"))
If something is young then it is not white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "-"))
All big, round things are not green.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "-"))
All green, young things are big.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If Erin is not big then Erin is not nice.
((("Erin" "is" "big" "~")) -> ("Erin" "is" "nice" "-"))
If something is young and not white then it is quiet.
((("something" "is" "young" "+") ("something" "is" "white" "~")) -> ("something" "is" "quiet" "+"))
All big things are nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
If something is white and quiet then it is nice.
((("something" "is" "white" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
Harry is big.
True
1
proof
[(triple3)]
("Harry" "is" "big" "+")
triple3
Erin is not nice.
False
1
inv-proof
[(triple1)]
("Erin" "is" "nice" "-")
triple1
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Erin is nice.[(triple1)] Gary is green.[(triple2)] Harry is big.[(triple3)] @1: Harry is nice.[(((triple3) -> rule7))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
((triple3) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1