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