Fiona is kind. Fiona is quiet. Fiona is white. If someone is cold and quiet then they are red. Cold, blue people are furry. White people are cold.
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is cold and quiet then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
Cold, blue people are furry.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
White people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Fiona is quiet.
True
1
proof
[(triple2)]
("Fiona" "is" "quiet" "+")
triple2
Fiona is not quiet.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "quiet" "-")
triple2
Fiona is cold.
True
2
proof
[(((triple3) -> rule3))]
("Fiona" "is" "cold" "+")
((triple3) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "cold" "-")
((triple3) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
True
4
proof
[(((((triple3) -> rule3) triple2) -> rule1))]
("Fiona" "is" "red" "+")
((((triple3) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not red.
False
4
inv-proof
[(((((triple3) -> rule3) triple2) -> rule1))]
("Fiona" "is" "red" "-")
((((triple3) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Fiona is kind.[(triple1)] Fiona is quiet.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is cold.[(((triple3) -> rule3))] @2: Fiona is red.[(((((triple3) -> rule3) triple2) -> rule1))]
Fiona is kind.
("Fiona" "is" "kind" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple3) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((((triple3) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2