Anne is furry. Anne is white. Erin is blue. Erin is kind. Erin is rough. Erin is round. Erin is white. White people are quiet. If someone is furry and kind then they are round. If someone is blue and rough then they are kind. White people are rough. Furry, rough people are kind. All kind people are rough.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
White people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
If someone is furry and kind then they are round.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and rough then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
White people are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
Furry, rough people are kind.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
All kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Erin is round.
True
1
proof
[(triple6)]
("Erin" "is" "round" "+")
triple6
Erin is not blue.
False
1
inv-proof
[(triple3)]
("Erin" "is" "blue" "-")
triple3
Erin is quiet.
True
2
proof
[(((triple7) -> rule1))]
("Erin" "is" "quiet" "+")
((triple7) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple2) -> rule4))]
("Anne" "is" "rough" "-")
((triple2) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
True
4
proof
[(((triple1 ((triple2) -> rule4)) -> rule5))]
("Anne" "is" "kind" "+")
((triple1 ((triple2) -> (rule4 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not kind.
False
4
inv-proof
[(((triple1 ((triple2) -> rule4)) -> rule5))]
("Anne" "is" "kind" "-")
((triple1 ((triple2) -> (rule4 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
True
6
proof
[(((triple1 ((triple1 ((triple2) -> rule4)) -> rule5)) -> rule2))]
("Anne" "is" "round" "+")
((triple1 ((triple1 ((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is not round.
False
6
inv-proof
[(((triple1 ((triple1 ((triple2) -> rule4)) -> rule5)) -> rule2))]
("Anne" "is" "round" "-")
((triple1 ((triple1 ((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is furry.[(triple1)] Anne is white.[(triple2)] Erin is blue.[(triple3)] Erin is kind.[(triple4 OR ((triple3 triple5) -> rule3) OR ((triple3 ((triple7) -> rule4)) -> rule3))] Erin is rough.[(triple5 OR ((triple4) -> rule6) OR ((triple7) -> rule4))] Erin is round.[(triple6)] Erin is white.[(triple7)] @1: Anne is quiet.[(((triple2) -> rule1))] Anne is rough.[(((triple2) -> rule4))] Erin is quiet.[(((triple7) -> rule1))] @2: Anne is kind.[(((triple1 ((triple2) -> rule4)) -> rule5))] @3: Anne is round.[(((triple1 ((triple1 ((triple2) -> rule4)) -> rule5)) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
((triple3 triple5) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple3 ((triple7) -> (rule4 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple5
((triple4) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple7) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple2) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple7) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((triple1 ((triple2) -> (rule4 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
((triple1 ((triple1 ((triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3