Charlie is blue. Charlie is kind. Charlie is rough. Charlie is not smart. Charlie is white. Gary is blue. Gary is cold. Gary is not kind. Gary is not smart. Gary is white. If something is blue and not smart then it is cold. If something is rough and not smart then it is white.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is not smart.
("Gary" "is" "smart" "-")
Gary is white.
("Gary" "is" "white" "+")
If something is blue and not smart then it is cold.
((("something" "is" "blue" "+") ("something" "is" "smart" "~")) -> ("something" "is" "cold" "+"))
If something is rough and not smart then it is white.
((("something" "is" "rough" "+") ("something" "is" "smart" "~")) -> ("something" "is" "white" "+"))
Charlie is rough.
True
1
proof
[(triple3)]
("Charlie" "is" "rough" "+")
triple3
Charlie is not rough.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "rough" "-")
triple3
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Charlie is not smart.[(triple4)] Charlie is rough.[(triple3)] Charlie is white.[(triple5 OR ((triple3 triple4) -> rule2))] Gary is blue.[(triple6)] Gary is cold.[(triple7 OR ((triple6 triple9) -> rule1))] Gary is not kind.[(triple8)] Gary is not smart.[(triple9)] Gary is white.[(triple10)] @1: Charlie is cold.[(((triple1 triple4) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple5
((triple3 triple4) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
((triple6 triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not kind.
("Gary" "is" "kind" "-")
triple8
Gary is not smart.
("Gary" "is" "smart" "-")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple1 triple4) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1