Anne is big. Anne is not blue. Anne is kind. Anne is red. Anne is rough. Anne is white. Anne is young. Charlie is big. Charlie is blue. Charlie is kind. Charlie is not red. Charlie is rough. Charlie is white. Charlie is not young. If someone is blue and not red then they are kind. If Charlie is not blue then Charlie is big. If someone is kind and not rough then they are not white.
Anne is big.
("Anne" "is" "big" "+")
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
If someone is blue and not red then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "kind" "+"))
If Charlie is not blue then Charlie is big.
((("Charlie" "is" "blue" "~")) -> ("Charlie" "is" "big" "+"))
If someone is kind and not rough then they are not white.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "white" "-"))
Anne is white.
True
1
proof
[(triple6)]
("Anne" "is" "white" "+")
triple6
Anne is not kind.
False
1
inv-proof
[(triple3)]
("Anne" "is" "kind" "-")
triple3
@0: Anne is big.[(triple1)] Anne is kind.[(triple3)] Anne is not blue.[(triple2)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Charlie is big.[(triple8)] Charlie is blue.[(triple9)] Charlie is kind.[(triple10 OR ((triple9 triple11) -> rule1))] Charlie is not red.[(triple11)] Charlie is not young.[(triple14)] Charlie is rough.[(triple12)] Charlie is white.[(triple13)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not blue.
("Anne" "is" "blue" "-")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is blue.
("Charlie" "is" "blue" "+")
triple9
Charlie is kind.
("Charlie" "is" "kind" "+")
triple10
((triple9 triple11) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not red.
("Charlie" "is" "red" "-")
triple11
Charlie is not young.
("Charlie" "is" "young" "-")
triple14
Charlie is rough.
("Charlie" "is" "rough" "+")
triple12
Charlie is white.
("Charlie" "is" "white" "+")
triple13