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