Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Fiona is quiet. Fiona is red. Fiona is round. Fiona is young. If something is round and young then it is white.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is round and young then it is white.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Fiona is young.
True
1
proof
[(triple10)]
("Fiona" "is" "young" "+")
triple10
Charlie is not white.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "white" "-")
triple6
Fiona is white.
True
3
proof
[(((triple9 triple10) -> rule1))]
("Fiona" "is" "white" "+")
((triple9 triple10) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
3
inv-proof
[(((triple9 triple10) -> rule1))]
("Fiona" "is" "white" "-")
((triple9 triple10) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Fiona is quiet.[(triple7)] Fiona is red.[(triple8)] Fiona is round.[(triple9)] Fiona is young.[(triple10)] @1: Fiona is white.[(((triple9 triple10) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
((triple9 triple10) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1