Erin is kind. Erin is red. Erin is rough. Erin is young. Fiona is big. Fiona is cold. Fiona is not kind. Gary is big. Gary is red. Gary is rough. If someone is red and kind then they are cold. Big, rough people are kind.
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is red and kind then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Big, rough people are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Fiona is cold.
True
1
proof
[(triple6)]
("Fiona" "is" "cold" "+")
triple6
Gary is not red.
False
1
inv-proof
[(triple9)]
("Gary" "is" "red" "-")
triple9
Erin is cold.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Erin" "is" "cold" "+")
((triple2 triple1) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Erin" "is" "cold" "-")
((triple2 triple1) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Gary is cold.
True
5
proof
[(((triple9 ((triple8 triple10) -> rule2)) -> rule1))]
("Gary" "is" "cold" "+")
((triple9 ((triple8 triple10) -> (rule2 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not cold.
False
5
inv-proof
[(((triple9 ((triple8 triple10) -> rule2)) -> rule1))]
("Gary" "is" "cold" "-")
((triple9 ((triple8 triple10) -> (rule2 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Erin is kind.[(triple1)] Erin is red.[(triple2)] Erin is rough.[(triple3)] Erin is young.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6)] Fiona is not kind.[(triple7)] Gary is big.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] @1: Erin is cold.[(((triple2 triple1) -> rule1))] Gary is kind.[(((triple8 triple10) -> rule2))] @2: Gary is cold.[(((triple9 ((triple8 triple10) -> rule2)) -> rule1))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
((triple2 triple1) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple8 triple10) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple9 ((triple8 triple10) -> (rule2 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2