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