Erin is young. Fiona is nice. Fiona is round. Gary is big. Gary is furry. Gary is nice. Gary is not young. Harry is cold. Harry is furry. Harry is round. All furry, round things are not nice. Cold things are not white.
Erin is young.
("Erin" "is" "young" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not young.
("Gary" "is" "young" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is round.
("Harry" "is" "round" "+")
All furry, round things are not nice.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "-"))
Cold things are not white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "-"))
Gary is big.
True
1
proof
[(triple4)]
("Gary" "is" "big" "+")
triple4
Harry is not cold.
False
1
inv-proof
[(triple8)]
("Harry" "is" "cold" "-")
triple8
Harry is not white.
True
2
proof
[(((triple8) -> rule2))]
("Harry" "is" "white" "-")
((triple8) -> (rule2 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is nice.
False
3
inv-proof
[(((triple9 triple10) -> rule1))]
("Harry" "is" "nice" "+")
((triple9 triple10) -> (rule1 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Erin is young.[(triple1)] Fiona is nice.[(triple2)] Fiona is round.[(triple3)] Gary is big.[(triple4)] Gary is furry.[(triple5)] Gary is nice.[(triple6)] Gary is not young.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is round.[(triple10)] @1: Harry is not nice.[(((triple9 triple10) -> rule1))] Harry is not white.[(((triple8) -> rule2))]
Erin is young.
("Erin" "is" "young" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is not young.
("Gary" "is" "young" "-")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is not nice.
("Harry" "is" "nice" "-")
((triple9 triple10) -> (rule1 % int1))
Harry is not nice.
("Harry" "is" "nice" "-")
int1
Harry is not white.
("Harry" "is" "white" "-")
((triple8) -> (rule2 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1