Dave is not big. Dave is blue. Dave is green. Erin is blue. Erin is cold. Erin is not young. Gary is big. Gary is not blue. Gary is cold. Gary is green. Gary is quiet. Gary is white. If Dave is young and Dave is blue then Dave is big. If something is quiet and not blue then it is young.
Dave is not big.
("Dave" "is" "big" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not young.
("Erin" "is" "young" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
If Dave is young and Dave is blue then Dave is big.
((("Dave" "is" "young" "+") ("Dave" "is" "blue" "+")) -> ("Dave" "is" "big" "+"))
If something is quiet and not blue then it is young.
((("something" "is" "quiet" "+") ("something" "is" "blue" "~")) -> ("something" "is" "young" "+"))
Gary is green.
True
1
proof
[(triple10)]
("Gary" "is" "green" "+")
triple10
Gary is not cold.
False
1
inv-proof
[(triple9)]
("Gary" "is" "cold" "-")
triple9
Gary is young.
True
3
proof
[(((triple11 triple8) -> rule2))]
("Gary" "is" "young" "+")
((triple11 triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
3
inv-proof
[(((triple11 triple8) -> rule2))]
("Gary" "is" "young" "-")
((triple11 triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Dave is blue.[(triple2)] Dave is green.[(triple3)] Dave is not big.[(triple1)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is not young.[(triple6)] Gary is big.[(triple7)] Gary is cold.[(triple9)] Gary is green.[(triple10)] Gary is not blue.[(triple8)] Gary is quiet.[(triple11)] Gary is white.[(triple12)] @1: Gary is young.[(((triple11 triple8) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is not big.
("Dave" "is" "big" "-")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is not young.
("Erin" "is" "young" "-")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is not blue.
("Gary" "is" "blue" "-")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
Gary is young.
("Gary" "is" "young" "+")
((triple11 triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1