Dave is young. Erin is kind. Gary is big. If Dave is big and Dave is red then Dave is quiet. If Gary is nice then Gary is red. All quiet, young people are red. Young, big people are red. If someone is quiet and cold then they are red. Cold, kind people are quiet. If someone is nice and red then they are big. If Dave is red and Dave is cold then Dave is kind.
Dave is young.
("Dave" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
If Dave is big and Dave is red then Dave is quiet.
((("Dave" "is" "big" "+") ("Dave" "is" "red" "+")) -> ("Dave" "is" "quiet" "+"))
If Gary is nice then Gary is red.
((("Gary" "is" "nice" "+")) -> ("Gary" "is" "red" "+"))
All quiet, young people are red.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Young, big people are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is quiet and cold then they are red.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Cold, kind people are quiet.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
If someone is nice and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If Dave is red and Dave is cold then Dave is kind.
((("Dave" "is" "red" "+") ("Dave" "is" "cold" "+")) -> ("Dave" "is" "kind" "+"))
Gary is big.
True
1
proof
[(triple3)]
("Gary" "is" "big" "+")
triple3
Dave is not young.
False
1
inv-proof
[(triple1)]
("Dave" "is" "young" "-")
triple1
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "quiet" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Dave is young.[(triple1)] Erin is kind.[(triple2)] Gary is big.[(triple3)]
Dave is young.
("Dave" "is" "young" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3