Bob is furry. If Bob is green then Bob is kind. If something is kind and not furry then it is not round. Young things are green. If something is furry then it is young. If Bob is white then Bob is round. If Bob is young then Bob is round.
Bob is furry.
("Bob" "is" "furry" "+")
If Bob is green then Bob is kind.
((("Bob" "is" "green" "+")) -> ("Bob" "is" "kind" "+"))
If something is kind and not furry then it is not round.
((("something" "is" "kind" "+") ("something" "is" "furry" "~")) -> ("something" "is" "round" "-"))
Young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
If something is furry then it is young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If Bob is white then Bob is round.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "round" "+"))
If Bob is young then Bob is round.
((("Bob" "is" "young" "+")) -> ("Bob" "is" "round" "+"))
Bob is furry.
True
1
proof
[(triple1)]
("Bob" "is" "furry" "+")
triple1
Bob is not furry.
False
1
inv-proof
[(triple1)]
("Bob" "is" "furry" "-")
triple1
Bob is young.
True
2
proof
[(((triple1) -> rule4))]
("Bob" "is" "young" "+")
((triple1) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple1) -> rule4))]
("Bob" "is" "young" "-")
((triple1) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
True
3
proof
[(((((triple1) -> rule4)) -> rule3))]
("Bob" "is" "green" "+")
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not round.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule6))]
("Bob" "is" "round" "-")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
True
4
proof
[(((((((triple1) -> rule4)) -> rule3)) -> rule1))]
("Bob" "is" "kind" "+")
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not kind.
False
4
inv-proof
[(((((((triple1) -> rule4)) -> rule3)) -> rule1))]
("Bob" "is" "kind" "-")
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is furry.[(triple1)] @1: Bob is young.[(((triple1) -> rule4))] @2: Bob is green.[(((((triple1) -> rule4)) -> rule3))] Bob is round.[(((((triple1) -> rule4)) -> rule6))] @3: Bob is kind.[(((((((triple1) -> rule4)) -> rule3)) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
((triple1) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3