Dave is blue. Erin is quiet. Gary is kind. Harry is quiet. Green things are blue. If something is green and not round then it is blue. All round, quiet things are not nice. If Dave is blue then Dave is rough. If something is nice and not kind then it is quiet. All nice, blue things are green.
Dave is blue.
("Dave" "is" "blue" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If something is green and not round then it is blue.
((("something" "is" "green" "+") ("something" "is" "round" "~")) -> ("something" "is" "blue" "+"))
All round, quiet things are not nice.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "-"))
If Dave is blue then Dave is rough.
((("Dave" "is" "blue" "+")) -> ("Dave" "is" "rough" "+"))
If something is nice and not kind then it is quiet.
((("something" "is" "nice" "+") ("something" "is" "kind" "~")) -> ("something" "is" "quiet" "+"))
All nice, blue things are green.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
Erin is quiet.
True
1
proof
[(triple2)]
("Erin" "is" "quiet" "+")
triple2
Gary is not kind.
False
1
inv-proof
[(triple3)]
("Gary" "is" "kind" "-")
triple3
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "green" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Dave is blue.[(triple1)] Erin is quiet.[(triple2)] Gary is kind.[(triple3)] Harry is quiet.[(triple4)] @1: Dave is rough.[(((triple1) -> rule4))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
((triple1) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1