Bob is blue. Bob is round. Charlie is big. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is round. Gary is big. Gary is furry. Gary is nice. Gary is quiet. Gary is round. All round, furry things are blue.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
All round, furry things are blue.
((("something" "is" "round" "+") ("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
Charlie is furry.
True
1
proof
[(triple5)]
("Charlie" "is" "furry" "+")
triple5
Charlie is not furry.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "furry" "-")
triple5
Gary is blue.
True
3
proof
[(((triple12 triple9) -> rule1))]
("Gary" "is" "blue" "+")
((triple12 triple9) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Charlie is not blue.
False
3
inv-proof
[(((triple7 triple5) -> rule1))]
("Charlie" "is" "blue" "-")
((triple7 triple5) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Bob is blue.[(triple1)] Bob is round.[(triple2)] Charlie is big.[(triple3)] Charlie is cold.[(triple4)] Charlie is furry.[(triple5)] Charlie is nice.[(triple6)] Charlie is round.[(triple7)] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is nice.[(triple10)] Gary is quiet.[(triple11)] Gary is round.[(triple12)] @1: Charlie is blue.[(((triple7 triple5) -> rule1))] Gary is blue.[(((triple12 triple9) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple7 triple5) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple12 triple9) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1