Erin is cold. Erin is furry. Erin is red. Fiona is big. Fiona is cold. Fiona is red. Fiona is young. Gary is big. Gary is cold. Gary is kind. Gary is nice. Gary is red. All cold, big people are furry.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
All cold, big people are furry.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
Fiona is red.
True
1
proof
[(triple6)]
("Fiona" "is" "red" "+")
triple6
Fiona is not big.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "big" "-")
triple4
Gary is furry.
True
3
proof
[(((triple9 triple8) -> rule1))]
("Gary" "is" "furry" "+")
((triple9 triple8) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
3
inv-proof
[(((triple9 triple8) -> rule1))]
("Gary" "is" "furry" "-")
((triple9 triple8) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is red.[(triple3)] Fiona is big.[(triple4)] Fiona is cold.[(triple5)] Fiona is red.[(triple6)] Fiona is young.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is red.[(triple12)] @1: Fiona is furry.[(((triple5 triple4) -> rule1))] Gary is furry.[(((triple9 triple8) -> rule1))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple5 triple4) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple9 triple8) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1