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