Bob is cold. Bob is not furry. Bob is not kind. Bob is red. Bob is smart. Charlie is blue. Charlie is nice. Dave is blue. Dave is kind. Dave is not red. Dave is smart. Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is red. If someone is nice and kind then they are furry.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not red.
("Dave" "is" "red" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is nice and kind then they are furry.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
Gary is blue.
True
1
proof
[(triple12)]
("Gary" "is" "blue" "+")
triple12
Bob is kind.
False
1
inv-proof
[(triple3)]
("Bob" "is" "kind" "+")
triple3
Gary is furry.
True
3
proof
[(((triple15 triple14) -> rule1))]
("Gary" "is" "furry" "+")
((triple15 triple14) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
3
inv-proof
[(((triple15 triple14) -> rule1))]
("Gary" "is" "furry" "-")
((triple15 triple14) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "furry" "-")
Dave is furry.
Unknown
rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "furry" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Bob is cold.[(triple1)] Bob is not furry.[(triple2)] Bob is not kind.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Charlie is blue.[(triple6)] Charlie is nice.[(triple7)] Dave is blue.[(triple8)] Dave is kind.[(triple9)] Dave is not red.[(triple10)] Dave is smart.[(triple11)] Gary is blue.[(triple12)] Gary is cold.[(triple13)] Gary is kind.[(triple14)] Gary is nice.[(triple15)] Gary is red.[(triple16)] @1: Gary is furry.[(((triple15 triple14) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is not furry.
("Bob" "is" "furry" "-")
triple2
Bob is not kind.
("Bob" "is" "kind" "-")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is not red.
("Dave" "is" "red" "-")
triple10
Dave is smart.
("Dave" "is" "smart" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple13
Gary is kind.
("Gary" "is" "kind" "+")
triple14
Gary is nice.
("Gary" "is" "nice" "+")
triple15
Gary is red.
("Gary" "is" "red" "+")
triple16
Gary is furry.
("Gary" "is" "furry" "+")
((triple15 triple14) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1