Anne is not green. Anne is nice. Anne is smart. Anne is young. Bob is green. Bob is rough. Bob is not smart. Bob is not young. Charlie is furry. Charlie is not green. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. If someone is rough and not green then they are furry. If Anne is smart then Anne is rough. If Anne is not rough then Anne is not furry.
Anne is not green.
("Anne" "is" "green" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is not young.
("Bob" "is" "young" "-")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
If someone is rough and not green then they are furry.
((("someone" "is" "rough" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "furry" "+"))
If Anne is smart then Anne is rough.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "rough" "+"))
If Anne is not rough then Anne is not furry.
((("Anne" "is" "rough" "~")) -> ("Anne" "is" "furry" "-"))
Anne is young.
True
1
proof
[(triple4)]
("Anne" "is" "young" "+")
triple4
Anne is green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Anne is rough.
True
2
proof
[(((triple3) -> rule2))]
("Anne" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple3) -> rule2))]
("Anne" "is" "rough" "-")
((triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
True
4
proof
[(((((triple3) -> rule2) triple1) -> rule1))]
("Anne" "is" "furry" "+")
((((triple3) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not furry.
False
4
inv-proof
[(((((triple3) -> rule2) triple1) -> rule1))]
("Anne" "is" "furry" "-")
((((triple3) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Anne is nice.[(triple2)] Anne is not green.[(triple1)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Bob is green.[(triple5)] Bob is not smart.[(triple7)] Bob is not young.[(triple8)] Bob is rough.[(triple6)] Charlie is furry.[(triple9 OR ((triple12 triple10) -> rule1))] Charlie is nice.[(triple11)] Charlie is not green.[(triple10)] Charlie is rough.[(triple12)] Charlie is round.[(triple13)] Charlie is smart.[(triple14)] Charlie is young.[(triple15)] @1: Anne is rough.[(((triple3) -> rule2))] @2: Anne is furry.[(((((triple3) -> rule2) triple1) -> rule1))]
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not green.
("Anne" "is" "green" "-")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is not smart.
("Bob" "is" "smart" "-")
triple7
Bob is not young.
("Bob" "is" "young" "-")
triple8
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Charlie is furry.
("Charlie" "is" "furry" "+")
triple9
((triple12 triple10) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple11
Charlie is not green.
("Charlie" "is" "green" "-")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
triple12
Charlie is round.
("Charlie" "is" "round" "+")
triple13
Charlie is smart.
("Charlie" "is" "smart" "+")
triple14
Charlie is young.
("Charlie" "is" "young" "+")
triple15
Anne is rough.
("Anne" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((((triple3) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2