Erin is nice. Erin is quiet. Erin is white. Fiona is blue. Fiona is green. Fiona is nice. Fiona is smart. Green people are cold. If Fiona is white then Fiona is quiet. Smart, cold people are white.
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If Fiona is white then Fiona is quiet.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "quiet" "+"))
Smart, cold people are white.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
Erin is white.
True
1
proof
[(triple3)]
("Erin" "is" "white" "+")
triple3
Fiona is not nice.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "nice" "-")
triple6
Fiona is cold.
True
2
proof
[(((triple5) -> rule1))]
("Fiona" "is" "cold" "+")
((triple5) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple5) -> rule1))]
("Fiona" "is" "cold" "-")
((triple5) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
True
4
proof
[(((triple7 ((triple5) -> rule1)) -> rule3))]
("Fiona" "is" "white" "+")
((triple7 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not white.
False
4
inv-proof
[(((triple7 ((triple5) -> rule1)) -> rule3))]
("Fiona" "is" "white" "-")
((triple7 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "cold" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Erin is nice.[(triple1)] Erin is quiet.[(triple2)] Erin is white.[(triple3)] Fiona is blue.[(triple4)] Fiona is green.[(triple5)] Fiona is nice.[(triple6)] Fiona is smart.[(triple7)] @1: Fiona is cold.[(((triple5) -> rule1))] @2: Fiona is white.[(((triple7 ((triple5) -> rule1)) -> rule3))] @3: Fiona is quiet.[(((((triple7 ((triple5) -> rule1)) -> rule3)) -> rule2))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple5) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple7 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple7 ((triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3