Charlie is big. Charlie is cold. Fiona is big. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. If someone is red then they are cold. If someone is furry and quiet then they are cold. If Charlie is red then Charlie is furry. Furry people are quiet. If someone is quiet and red then they are kind. Cold people are red.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If someone is red then they are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is furry and quiet then they are cold.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If Charlie is red then Charlie is furry.
((("Charlie" "is" "red" "+")) -> ("Charlie" "is" "furry" "+"))
Furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If someone is quiet and red then they are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Cold people are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Fiona is cold.
True
1
proof
[(triple4 OR ((triple7) -> rule1))]
("Fiona" "is" "cold" "+")
triple4
((triple7) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
1
inv-proof
[(triple4 OR ((triple7) -> rule1))]
("Fiona" "is" "cold" "-")
triple4
((triple7) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Charlie is red.
True
2
proof
[(((triple2) -> rule6))]
("Charlie" "is" "red" "+")
((triple2) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
2
inv-proof
[(((triple2) -> rule6))]
("Charlie" "is" "red" "-")
((triple2) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
True
3
proof
[(((((triple2) -> rule6)) -> rule3))]
("Charlie" "is" "furry" "+")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not furry.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule3))]
("Charlie" "is" "furry" "-")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is quiet.
True
4
proof
[(((((((triple2) -> rule6)) -> rule3)) -> rule4))]
("Charlie" "is" "quiet" "+")
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not quiet.
False
4
inv-proof
[(((((((triple2) -> rule6)) -> rule3)) -> rule4))]
("Charlie" "is" "quiet" "-")
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Fiona is big.[(triple3)] Fiona is cold.[(triple4 OR ((triple7) -> rule1))] Fiona is kind.[(triple5 OR ((triple6 triple7) -> rule5) OR ((triple6 ((triple4) -> rule6)) -> rule5))] Fiona is quiet.[(triple6)] Fiona is red.[(triple7 OR ((triple4) -> rule6))] @1: Charlie is red.[(((triple2) -> rule6))] @2: Charlie is furry.[(((((triple2) -> rule6)) -> rule3))] @3: Charlie is quiet.[(((((((triple2) -> rule6)) -> rule3)) -> rule4))] @4: Charlie is kind.[(((((((((triple2) -> rule6)) -> rule3)) -> rule4) ((triple2) -> rule6)) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
((triple7) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
((triple6 triple7) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple6 ((triple4) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
((triple4) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple2) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((((((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) ((triple2) -> (rule6 % int4))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4