Anne is green. Anne is kind. Anne is nice. Anne is round. Anne is white. Anne is young. Bob is kind. Bob is round. Bob is white. Charlie is nice. Charlie is round. Charlie is white. All young people are rough. All round people are young.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
All round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Charlie is round.
True
1
proof
[(triple11)]
("Charlie" "is" "round" "+")
triple11
Anne is not nice.
False
1
inv-proof
[(triple3)]
("Anne" "is" "nice" "-")
triple3
Charlie is young.
True
2
proof
[(((triple11) -> rule2))]
("Charlie" "is" "young" "+")
((triple11) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple8) -> rule2))]
("Bob" "is" "young" "-")
((triple8) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
True
3
proof
[(((((triple8) -> rule2)) -> rule1))]
("Bob" "is" "rough" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Charlie is not rough.
False
3
inv-proof
[(((((triple11) -> rule2)) -> rule1))]
("Charlie" "is" "rough" "-")
((((triple11) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6 OR ((triple4) -> rule2))] Bob is kind.[(triple7)] Bob is round.[(triple8)] Bob is white.[(triple9)] Charlie is nice.[(triple10)] Charlie is round.[(triple11)] Charlie is white.[(triple12)] @1: Anne is rough.[(((triple6) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Bob is young.[(((triple8) -> rule2))] Charlie is young.[(((triple11) -> rule2))] @2: Bob is rough.[(((((triple8) -> rule2)) -> rule1))] Charlie is rough.[(((((triple11) -> rule2)) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
((triple4) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple9
Charlie is nice.
("Charlie" "is" "nice" "+")
triple10
Charlie is round.
("Charlie" "is" "round" "+")
triple11
Charlie is white.
("Charlie" "is" "white" "+")
triple12
Anne is rough.
("Anne" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple8) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple11) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple11) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2