Charlie is kind. Charlie is quiet. Fiona is big. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is white. If something is white then it is round. Round, green things are cold.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is white then it is round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
Round, green things are cold.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
Fiona is big.
True
1
proof
[(triple3)]
("Fiona" "is" "big" "+")
triple3
Charlie is not quiet.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "quiet" "-")
triple2
Fiona is round.
True
2
proof
[(((triple7) -> rule1))]
("Fiona" "is" "round" "+")
((triple7) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple7) -> rule1))]
("Fiona" "is" "round" "-")
((triple7) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
True
4
proof
[(((((triple7) -> rule1) triple4) -> rule2))]
("Fiona" "is" "cold" "+")
((((triple7) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not cold.
False
4
inv-proof
[(((((triple7) -> rule1) triple4) -> rule2))]
("Fiona" "is" "cold" "-")
((((triple7) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Fiona is big.[(triple3)] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is quiet.[(triple6)] Fiona is white.[(triple7)] @1: Fiona is round.[(((triple7) -> rule1))] @2: Fiona is cold.[(((((triple7) -> rule1) triple4) -> rule2))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
((triple7) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple7) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2