Anne is red. Anne is rough. Anne is young. Charlie is big. Charlie is green. Charlie is kind. Charlie is red. Charlie is rough. Charlie is young. Harry is red. If someone is big then they are rough. If Harry is cold then Harry is young. All green, kind people are rough.
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If Harry is cold then Harry is young.
((("Harry" "is" "cold" "+")) -> ("Harry" "is" "young" "+"))
All green, kind people are rough.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Charlie is young.
True
1
proof
[(triple9)]
("Charlie" "is" "young" "+")
triple9
Charlie is not kind.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "kind" "-")
triple6
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Charlie is big.[(triple4)] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is red.[(triple7)] Charlie is rough.[(triple8 OR ((triple4) -> rule1) OR ((triple5 triple6) -> rule3))] Charlie is young.[(triple9)] Harry is red.[(triple10)]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
((triple4) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple5 triple6) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10