Charlie is nice. Erin is not red. Gary is big. Harry is round. All quiet people are nice. If someone is smart and not big then they are green.
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is not red.
("Erin" "is" "red" "-")
Gary is big.
("Gary" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
All quiet people are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
If someone is smart and not big then they are green.
((("someone" "is" "smart" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "green" "+"))
Erin is not red.
True
1
proof
[(triple2)]
("Erin" "is" "red" "-")
triple2
Erin is red.
False
1
inv-proof
[(triple2)]
("Erin" "is" "red" "+")
triple2
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Charlie is nice.[(triple1)] Erin is not red.[(triple2)] Gary is big.[(triple3)] Harry is round.[(triple4)]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Erin is not red.
("Erin" "is" "red" "-")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3
Harry is round.
("Harry" "is" "round" "+")
triple4