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