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