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