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