Charlie is not big. Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is round. Fiona is blue. Fiona is round. All red things are big. If Fiona is round and Fiona is nice then Fiona is red. All red things are cold. If Charlie is cold and Charlie is not red then Charlie is not big. All round things are nice. All big things are blue.
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All red things are big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If Fiona is round and Fiona is nice then Fiona is red.
((("Fiona" "is" "round" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "red" "+"))
All red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If Charlie is cold and Charlie is not red then Charlie is not big.
((("Charlie" "is" "cold" "+") ("Charlie" "is" "red" "~")) -> ("Charlie" "is" "big" "-"))
All round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
All big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
Charlie is not big.
True
1
proof
[(triple1)]
("Charlie" "is" "big" "-")
triple1
Charlie is big.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "big" "+")
triple1
Fiona is nice.
True
2
proof
[(((triple7) -> rule5))]
("Fiona" "is" "nice" "+")
((triple7) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple7) -> rule5))]
("Fiona" "is" "nice" "-")
((triple7) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
True
4
proof
[(((triple7 ((triple7) -> rule5)) -> rule2))]
("Fiona" "is" "red" "+")
((triple7 ((triple7) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not red.
False
4
inv-proof
[(((triple7 ((triple7) -> rule5)) -> rule2))]
("Fiona" "is" "red" "-")
((triple7 ((triple7) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "blue" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Charlie is cold.[(triple2)] Charlie is nice.[(triple3 OR ((triple5) -> rule5))] Charlie is not big.[(triple1)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Fiona is blue.[(triple6 OR ((((((triple7 ((triple7) -> rule5)) -> rule2)) -> rule1)) -> rule6))] Fiona is round.[(triple7)] @1: Fiona is nice.[(((triple7) -> rule5))] @2: Fiona is red.[(((triple7 ((triple7) -> rule5)) -> rule2))] @3: Fiona is big.[(((((triple7 ((triple7) -> rule5)) -> rule2)) -> rule1))] Fiona is cold.[(((((triple7 ((triple7) -> rule5)) -> rule2)) -> rule3))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
((triple5) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not big.
("Charlie" "is" "big" "-")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
((((((triple7 ((triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple7) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple7 ((triple7) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((triple7 ((triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple7 ((triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3