Erin is blue. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is young. Fiona is kind. All rough people are cold.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
All rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Fiona is kind.
True
1
proof
[(triple7)]
("Fiona" "is" "kind" "+")
triple7
Erin is not kind.
False
1
inv-proof
[(triple2)]
("Erin" "is" "kind" "-")
triple2
Erin is cold.
True
2
proof
[(((triple5) -> rule1))]
("Erin" "is" "cold" "+")
((triple5) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple5) -> rule1))]
("Erin" "is" "cold" "-")
((triple5) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Erin is blue.[(triple1)] Erin is kind.[(triple2)] Erin is nice.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is young.[(triple6)] Fiona is kind.[(triple7)] @1: Erin is cold.[(((triple5) -> rule1))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
((triple5) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1