Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is young. Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is young. Gary is furry. Gary is green. Gary is young. All nice people are big.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
All nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Erin is nice.
True
1
proof
[(triple11)]
("Erin" "is" "nice" "+")
triple11
Erin is not nice.
False
1
inv-proof
[(triple11)]
("Erin" "is" "nice" "-")
triple11
Dave is big.
True
2
proof
[(((triple4) -> rule1))]
("Dave" "is" "big" "+")
((triple4) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
2
inv-proof
[(((triple4) -> rule1))]
("Dave" "is" "big" "-")
((triple4) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Dave is young.[(triple6)] Erin is big.[(triple7 OR ((triple11) -> rule1))] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is green.[(triple10)] Erin is nice.[(triple11)] Erin is quiet.[(triple12)] Erin is young.[(triple13)] Gary is furry.[(triple14)] Gary is green.[(triple15)] Gary is young.[(triple16)] @1: Dave is big.[(((triple4) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
((triple11) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is furry.
("Erin" "is" "furry" "+")
triple9
Erin is green.
("Erin" "is" "green" "+")
triple10
Erin is nice.
("Erin" "is" "nice" "+")
triple11
Erin is quiet.
("Erin" "is" "quiet" "+")
triple12
Erin is young.
("Erin" "is" "young" "+")
triple13
Gary is furry.
("Gary" "is" "furry" "+")
triple14
Gary is green.
("Gary" "is" "green" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Dave is big.
("Dave" "is" "big" "+")
((triple4) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1