Anne is cold. Anne is rough. Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Fiona is cold. Fiona is furry. Fiona is green. Fiona is not quiet. Fiona is red. Fiona is rough. Fiona is not round. Cold people are red. All red people are green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Cold people are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
All red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Anne is rough.
True
1
proof
[(triple2)]
("Anne" "is" "rough" "+")
triple2
Charlie is not quiet.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "quiet" "-")
triple6
Anne is red.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "red" "+")
((triple1) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not red.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "red" "-")
((triple1) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("Anne" "is" "green" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is not green.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule2))]
("Anne" "is" "green" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5 OR ((triple7) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Charlie is quiet.[(triple6)] Charlie is red.[(triple7 OR ((triple3) -> rule1))] Charlie is rough.[(triple8)] Charlie is round.[(triple9)] Fiona is cold.[(triple10)] Fiona is furry.[(triple11)] Fiona is green.[(triple12 OR ((triple14) -> rule2) OR ((((triple10) -> rule1)) -> rule2))] Fiona is not quiet.[(triple13)] Fiona is not round.[(triple16)] Fiona is red.[(triple14 OR ((triple10) -> rule1))] Fiona is rough.[(triple15)] @1: Anne is red.[(((triple1) -> rule1))] @2: Anne is green.[(((((triple1) -> rule1)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
((triple7) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple7
((triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
((triple14) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple13
Fiona is not round.
("Fiona" "is" "round" "-")
triple16
Fiona is red.
("Fiona" "is" "red" "+")
triple14
((triple10) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2