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