Anne is not furry. Anne is green. Anne is nice. Anne is not quiet. Anne is red. Anne is round. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Erin is not green. Gary is furry. Gary is nice. Gary is red. Gary is round. All green, quiet things are not nice. All round, quiet things are nice. Furry, kind things are nice.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is not green.
("Erin" "is" "green" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
All green, quiet things are not nice.
((("something" "is" "green" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "-"))
All round, quiet things are nice.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
Furry, kind things are nice.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Charlie is round.
True
1
proof
[(triple10)]
("Charlie" "is" "round" "+")
triple10
Anne is not nice.
False
1
inv-proof
[(triple3)]
("Anne" "is" "nice" "-")
triple3
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "nice" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not furry.[(triple1)] Anne is not quiet.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Charlie is nice.[(triple7 OR ((triple10 triple8) -> rule2))] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Charlie is round.[(triple10)] Erin is not green.[(triple11)] Gary is furry.[(triple12)] Gary is nice.[(triple13)] Gary is red.[(triple14)] Gary is round.[(triple15)]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
((triple10 triple8) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple10
Erin is not green.
("Erin" "is" "green" "-")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15