Bob is blue. Charlie is red. Dave is not kind. Gary is red. Big things are blue. Nice things are blue. If Dave is young and Dave is not red then Dave is nice. If something is big and not red then it is not quiet. If something is big then it is quiet. All red things are not nice. Blue, kind things are nice. If Gary is kind and Gary is red then Gary is nice.
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Gary is red.
("Gary" "is" "red" "+")
Big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
Nice things are blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If Dave is young and Dave is not red then Dave is nice.
((("Dave" "is" "young" "+") ("Dave" "is" "red" "~")) -> ("Dave" "is" "nice" "+"))
If something is big and not red then it is not quiet.
((("something" "is" "big" "+") ("something" "is" "red" "~")) -> ("something" "is" "quiet" "-"))
If something is big then it is quiet.
((("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
All red things are not nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "-"))
Blue, kind things are nice.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If Gary is kind and Gary is red then Gary is nice.
((("Gary" "is" "kind" "+") ("Gary" "is" "red" "+")) -> ("Gary" "is" "nice" "+"))
Dave is not kind.
True
1
proof
[(triple3)]
("Dave" "is" "kind" "-")
triple3
Gary is not red.
False
1
inv-proof
[(triple4)]
("Gary" "is" "red" "-")
triple4
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Bob is blue.[(triple1)] Charlie is red.[(triple2)] Dave is not kind.[(triple3)] Gary is red.[(triple4)] @1: Charlie is not nice.[(((triple2) -> rule6))] Gary is not nice.[(((triple4) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Dave is not kind.
("Dave" "is" "kind" "-")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple4
Charlie is not nice.
("Charlie" "is" "nice" "-")
((triple2) -> (rule6 % int1))
Charlie is not nice.
("Charlie" "is" "nice" "-")
int1
Gary is not nice.
("Gary" "is" "nice" "-")
((triple4) -> (rule6 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1