Anne is kind. Anne is young. Charlie is nice. Charlie is round. Erin is furry. Erin is kind. Erin is nice. Gary is green. Gary is round. Gary is young. Green, red things are round. All furry things are round. If something is kind and furry then it is nice. If something is nice and young then it is kind. If Charlie is nice and Charlie is furry then Charlie is green. Kind, red things are round.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Green, red things are round.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
All furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If something is kind and furry then it is nice.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
If something is nice and young then it is kind.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If Charlie is nice and Charlie is furry then Charlie is green.
((("Charlie" "is" "nice" "+") ("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "green" "+"))
Kind, red things are round.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
Gary is green.
True
1
proof
[(triple8)]
("Gary" "is" "green" "+")
triple8
Gary is not green.
False
1
inv-proof
[(triple8)]
("Gary" "is" "green" "-")
triple8
Erin is round.
True
2
proof
[(((triple5) -> rule2))]
("Erin" "is" "round" "+")
((triple5) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple5) -> rule2))]
("Erin" "is" "round" "-")
((triple5) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "round" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "kind" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Anne is kind.[(triple1)] Anne is young.[(triple2)] Charlie is nice.[(triple3)] Charlie is round.[(triple4)] Erin is furry.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7 OR ((triple6 triple5) -> rule3))] Gary is green.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10)] @1: Erin is round.[(((triple5) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
((triple6 triple5) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
((triple5) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1