Anne is green. Anne is rough. Anne is young. Charlie is big. Charlie is cold. Charlie is not green. Charlie is quiet. Charlie is not rough. Charlie is not smart. Charlie is young. Erin is not big. Erin is not cold. Erin is quiet. Erin is rough. Erin is smart. Erin is young. If something is rough and not young then it is green. Big things are not smart. If Anne is green and Anne is not big then Anne is rough. If Charlie is big and Charlie is quiet then Charlie is cold. If something is quiet and big then it is cold. If something is rough and not smart then it is quiet. If something is rough and green then it is not quiet. If Anne is rough and Anne is not smart then Anne is cold.
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
If something is rough and not young then it is green.
((("something" "is" "rough" "+") ("something" "is" "young" "~")) -> ("something" "is" "green" "+"))
Big things are not smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "-"))
If Anne is green and Anne is not big then Anne is rough.
((("Anne" "is" "green" "+") ("Anne" "is" "big" "~")) -> ("Anne" "is" "rough" "+"))
If Charlie is big and Charlie is quiet then Charlie is cold.
((("Charlie" "is" "big" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "cold" "+"))
If something is quiet and big then it is cold.
((("something" "is" "quiet" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If something is rough and not smart then it is quiet.
((("something" "is" "rough" "+") ("something" "is" "smart" "~")) -> ("something" "is" "quiet" "+"))
If something is rough and green then it is not quiet.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "quiet" "-"))
If Anne is rough and Anne is not smart then Anne is cold.
((("Anne" "is" "rough" "+") ("Anne" "is" "smart" "~")) -> ("Anne" "is" "cold" "+"))
Erin is young.
True
1
proof
[(triple16)]
("Erin" "is" "young" "+")
triple16
Charlie is green.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "green" "+")
triple6
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "green" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Charlie is big.[(triple4)] Charlie is cold.[(triple5 OR ((triple4 triple7) -> rule4) OR ((triple7 triple4) -> rule5))] Charlie is not green.[(triple6)] Charlie is not rough.[(triple8)] Charlie is not smart.[(triple9 OR ((triple4) -> rule2))] Charlie is quiet.[(triple7)] Charlie is young.[(triple10)] Erin is not big.[(triple11)] Erin is not cold.[(triple12)] Erin is quiet.[(triple13)] Erin is rough.[(triple14)] Erin is smart.[(triple15)] Erin is young.[(triple16)] @1: Anne is not quiet.[(((triple2 triple1) -> rule7))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
((triple4 triple7) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple7 triple4) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not green.
("Charlie" "is" "green" "-")
triple6
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple8
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple9
((triple4) -> (rule2 % int1))
Charlie is not smart.
("Charlie" "is" "smart" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Erin is not big.
("Erin" "is" "big" "-")
triple11
Erin is not cold.
("Erin" "is" "cold" "-")
triple12
Erin is quiet.
("Erin" "is" "quiet" "+")
triple13
Erin is rough.
("Erin" "is" "rough" "+")
triple14
Erin is smart.
("Erin" "is" "smart" "+")
triple15
Erin is young.
("Erin" "is" "young" "+")
triple16
Anne is not quiet.
("Anne" "is" "quiet" "-")
((triple2 triple1) -> (rule7 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1