Charlie is blue. Charlie is cold. Charlie is not furry. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. If something is furry and red then it is rough. All blue things are rough. If something is rough and not red then it is not furry. All furry, cold things are white. If something is furry and not red then it is white. If Charlie is rough and Charlie is not cold then Charlie is not white.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
If something is furry and red then it is rough.
((("something" "is" "furry" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
All blue things are rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If something is rough and not red then it is not furry.
((("something" "is" "rough" "+") ("something" "is" "red" "~")) -> ("something" "is" "furry" "-"))
All furry, cold things are white.
((("something" "is" "furry" "+") ("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
If something is furry and not red then it is white.
((("something" "is" "furry" "+") ("something" "is" "red" "~")) -> ("something" "is" "white" "+"))
If Charlie is rough and Charlie is not cold then Charlie is not white.
((("Charlie" "is" "rough" "+") ("Charlie" "is" "cold" "~")) -> ("Charlie" "is" "white" "-"))
Charlie is red.
True
1
proof
[(triple4)]
("Charlie" "is" "red" "+")
triple4
Charlie is not red.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "red" "-")
triple4
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is not furry.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((triple1) -> rule2))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
((triple1) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7