Anne is big. Anne is not green. Anne is red. Anne is round. Anne is white. Charlie is not green. Erin is big. Erin is kind. Erin is not red. Erin is smart. If someone is smart and round then they are green. If someone is smart and white then they are kind. If Charlie is white then Charlie is not kind. If someone is kind and not white then they are big. If someone is kind then they are big. Kind people are smart. If Erin is round and Erin is white then Erin is red. If someone is white and not big then they are not red.
Anne is big.
("Anne" "is" "big" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is smart.
("Erin" "is" "smart" "+")
If someone is smart and round then they are green.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is smart and white then they are kind.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If Charlie is white then Charlie is not kind.
((("Charlie" "is" "white" "+")) -> ("Charlie" "is" "kind" "-"))
If someone is kind and not white then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "big" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Kind people are smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
If Erin is round and Erin is white then Erin is red.
((("Erin" "is" "round" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "red" "+"))
If someone is white and not big then they are not red.
((("someone" "is" "white" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "red" "-"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Anne is green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "+")
triple2
Charlie is not smart.
Unknown
inv-rconc
[@2: Charlie is smart.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Charlie" "is" "smart" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is not green.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Charlie is not green.[(triple6)] Erin is big.[(triple7 OR ((triple8) -> rule5))] Erin is kind.[(triple8)] Erin is not red.[(triple9)] Erin is smart.[(triple10 OR ((triple8) -> rule6))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not green.
("Anne" "is" "green" "-")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Charlie is not green.
("Charlie" "is" "green" "-")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
((triple8) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is not red.
("Erin" "is" "red" "-")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
((triple8) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1