Anne is kind. Anne is quiet. Anne is red. Bob is blue. Bob is quiet. Bob is red. Erin is furry. Erin is kind. Erin is quiet. Gary is quiet. Gary is red. Gary is round. Furry, red people are round. All round, kind people are furry. Kind people are furry. If Bob is young then Bob is blue. Blue, round people are red. Furry, round people are blue.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Furry, red people are round.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
All round, kind people are furry.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
Kind people are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
If Bob is young then Bob is blue.
((("Bob" "is" "young" "+")) -> ("Bob" "is" "blue" "+"))
Blue, round people are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Furry, round people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
Bob is red.
True
1
proof
[(triple6)]
("Bob" "is" "red" "+")
triple6
Bob is not red.
False
1
inv-proof
[(triple6)]
("Bob" "is" "red" "-")
triple6
Anne is furry.
True
2
proof
[(((triple1) -> rule3))]
("Anne" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "furry" "-")
((triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
True
4
proof
[(((((triple1) -> rule3) triple3) -> rule1))]
("Anne" "is" "round" "+")
((((triple1) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not round.
False
4
inv-proof
[(((((triple1) -> rule3) triple3) -> rule1))]
("Anne" "is" "round" "-")
((((triple1) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
True
7
proof
[(((((triple1) -> rule3) ((((triple1) -> rule3) triple3) -> rule1)) -> rule6))]
("Anne" "is" "blue" "+")
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is not blue.
False
7
inv-proof
[(((((triple1) -> rule3) ((((triple1) -> rule3) triple3) -> rule1)) -> rule6))]
("Anne" "is" "blue" "-")
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "furry" "-")
Erin is round.
Unknown
rconc
[@2: Erin is round.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Erin" "is" "round" "+")
Erin is not red.
Unknown
inv-rconc
[@2: Erin is red.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Erin" "is" "red" "-")
Gary is furry.
Unknown
rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "furry" "+")
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Bob is blue.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Erin is furry.[(triple7 OR ((triple8) -> rule3))] Erin is kind.[(triple8)] Erin is quiet.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12)] @1: Anne is furry.[(((triple1) -> rule3))] @2: Anne is round.[(((((triple1) -> rule3) triple3) -> rule1))] @3: Anne is blue.[(((((triple1) -> rule3) ((((triple1) -> rule3) triple3) -> rule1)) -> rule6))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
((triple8) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((((triple1) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3