Fiona is big. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is smart. Gary is quiet. Gary is red. Gary is round. Gary is not smart. If something is kind then it is cold. If something is red then it is kind.
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" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
If something is kind then it is cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
If something is red then it is kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
Gary is round.
True
1
proof
[(triple9)]
("Gary" "is" "round" "+")
triple9
Gary is not round.
False
1
inv-proof
[(triple9)]
("Gary" "is" "round" "-")
triple9
Gary is kind.
True
2
proof
[(((triple8) -> rule2))]
("Gary" "is" "kind" "+")
((triple8) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
2
inv-proof
[(((triple8) -> rule2))]
("Gary" "is" "kind" "-")
((triple8) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
True
3
proof
[(((((triple8) -> rule2)) -> rule1))]
("Gary" "is" "cold" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not cold.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule1))]
("Gary" "is" "cold" "-")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2 OR ((triple3) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Fiona is kind.[(triple3 OR ((triple5) -> rule2))] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Fiona is smart.[(triple6)] Gary is not smart.[(triple10)] Gary is quiet.[(triple7)] Gary is red.[(triple8)] Gary is round.[(triple9)] @1: Gary is kind.[(((triple8) -> rule2))] @2: Gary is cold.[(((((triple8) -> rule2)) -> rule1))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
((triple3) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
((triple5) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Gary is not smart.
("Gary" "is" "smart" "-")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
((triple8) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2