Fiona is big. Fiona is blue. Fiona is nice. Gary is big. Gary is blue. Gary is green. Gary is quiet. If Fiona is round then Fiona is green. If something is green and round then it is cold. Blue things are round.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If Fiona is round then Fiona is green.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "green" "+"))
If something is green and round then it is cold.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
Blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Fiona is nice.
True
1
proof
[(triple3)]
("Fiona" "is" "nice" "+")
triple3
Gary is not quiet.
False
1
inv-proof
[(triple7)]
("Gary" "is" "quiet" "-")
triple7
Gary is round.
True
2
proof
[(((triple5) -> rule3))]
("Gary" "is" "round" "+")
((triple5) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple5) -> rule3))]
("Gary" "is" "round" "-")
((triple5) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
True
4
proof
[(((triple6 ((triple5) -> rule3)) -> rule2))]
("Gary" "is" "cold" "+")
((triple6 ((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not cold.
False
4
inv-proof
[(((triple6 ((triple5) -> rule3)) -> rule2))]
("Gary" "is" "cold" "-")
((triple6 ((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Fiona is cold.
True
6
proof
[(((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule2))]
("Fiona" "is" "cold" "+")
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int3))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is not cold.
False
6
inv-proof
[(((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule2))]
("Fiona" "is" "cold" "-")
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int3))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is nice.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is green.[(triple6)] Gary is quiet.[(triple7)] @1: Fiona is round.[(((triple2) -> rule3))] Gary is round.[(((triple5) -> rule3))] @2: Fiona is green.[(((((triple2) -> rule3)) -> rule1))] Gary is cold.[(((triple6 ((triple5) -> rule3)) -> rule2))] @3: Fiona is cold.[(((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule2))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
((triple2) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple5) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple6 ((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int3))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3