Anne is blue. Anne is cold. Anne is green. Anne is nice. Anne is quiet. Charlie is blue. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is round. All quiet, blue people are green. All furry, cold people are blue. Green people are nice.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All quiet, blue people are green.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
All furry, cold people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Fiona is cold.
True
1
proof
[(triple12)]
("Fiona" "is" "cold" "+")
triple12
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Fiona is blue.
True
3
proof
[(((triple13 triple12) -> rule2))]
("Fiona" "is" "blue" "+")
((triple13 triple12) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
3
inv-proof
[(((triple13 triple12) -> rule2))]
("Fiona" "is" "blue" "-")
((triple13 triple12) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
True
5
proof
[(((triple14 ((triple13 triple12) -> rule2)) -> rule1))]
("Fiona" "is" "green" "+")
((triple14 ((triple13 triple12) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not green.
False
5
inv-proof
[(((triple14 ((triple13 triple12) -> rule2)) -> rule1))]
("Fiona" "is" "green" "-")
((triple14 ((triple13 triple12) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is nice.
True
6
proof
[(((((triple14 ((triple13 triple12) -> rule2)) -> rule1)) -> rule3))]
("Fiona" "is" "nice" "+")
((((triple14 ((triple13 triple12) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is not nice.
False
6
inv-proof
[(((((triple14 ((triple13 triple12) -> rule2)) -> rule1)) -> rule3))]
("Fiona" "is" "nice" "-")
((((triple14 ((triple13 triple12) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
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 blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple5 triple1) -> rule1))] Anne is nice.[(triple4 OR ((triple3) -> rule3) OR ((((triple5 triple1) -> rule1)) -> rule3))] Anne is quiet.[(triple5)] Charlie is blue.[(triple6)] Charlie is furry.[(triple7)] Charlie is green.[(triple8 OR ((triple10 triple6) -> rule1))] Charlie is nice.[(triple9 OR ((triple8) -> rule3) OR ((((triple10 triple6) -> rule1)) -> rule3))] Charlie is quiet.[(triple10)] Charlie is round.[(triple11)] Fiona is cold.[(triple12)] Fiona is furry.[(triple13)] Fiona is quiet.[(triple14)] Fiona is round.[(triple15)] @1: Fiona is blue.[(((triple13 triple12) -> rule2))] @2: Fiona is green.[(((triple14 ((triple13 triple12) -> rule2)) -> rule1))] @3: Fiona is nice.[(((((triple14 ((triple13 triple12) -> rule2)) -> rule1)) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
((triple5 triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple4
((triple3) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple5 triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple8
((triple10 triple6) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
((triple8) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple10 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple10
Charlie is round.
("Charlie" "is" "round" "+")
triple11
Fiona is cold.
("Fiona" "is" "cold" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple14
Fiona is round.
("Fiona" "is" "round" "+")
triple15
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple13 triple12) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple14 ((triple13 triple12) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple14 ((triple13 triple12) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3