Bob is white. If something is young and quiet then it is round. If something is quiet and white then it is young. All furry, blue things are white. White things are quiet. If something is blue then it is white. Young, round things are cold.
Bob is white.
("Bob" "is" "white" "+")
If something is young and quiet then it is round.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
If something is quiet and white then it is young.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
All furry, blue things are white.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
White things are quiet.
((("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
If something is blue then it is white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
Young, round things are cold.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
Bob is white.
True
1
proof
[(triple1)]
("Bob" "is" "white" "+")
triple1
Bob is not white.
False
1
inv-proof
[(triple1)]
("Bob" "is" "white" "-")
triple1
Bob is quiet.
True
2
proof
[(((triple1) -> rule4))]
("Bob" "is" "quiet" "+")
((triple1) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is not quiet.
False
2
inv-proof
[(((triple1) -> rule4))]
("Bob" "is" "quiet" "-")
((triple1) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
True
4
proof
[(((((triple1) -> rule4) triple1) -> rule2))]
("Bob" "is" "young" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is not young.
False
4
inv-proof
[(((((triple1) -> rule4) triple1) -> rule2))]
("Bob" "is" "young" "-")
((((triple1) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is round.
True
7
proof
[(((((((triple1) -> rule4) triple1) -> rule2) ((triple1) -> rule4)) -> rule1))]
("Bob" "is" "round" "+")
((((((triple1) -> (rule4 % int3)) triple1) -> (rule2 % int2)) ((triple1) -> (rule4 % int3))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is not round.
False
7
inv-proof
[(((((((triple1) -> rule4) triple1) -> rule2) ((triple1) -> rule4)) -> rule1))]
("Bob" "is" "round" "-")
((((((triple1) -> (rule4 % int3)) triple1) -> (rule2 % int2)) ((triple1) -> (rule4 % int3))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is white.[(triple1)] @1: Bob is quiet.[(((triple1) -> rule4))] @2: Bob is young.[(((((triple1) -> rule4) triple1) -> rule2))] @3: Bob is round.[(((((((triple1) -> rule4) triple1) -> rule2) ((triple1) -> rule4)) -> rule1))] @4: Bob is cold.[(((((((triple1) -> rule4) triple1) -> rule2) ((((((triple1) -> rule4) triple1) -> rule2) ((triple1) -> rule4)) -> rule1)) -> rule6))]
Bob is white.
("Bob" "is" "white" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple1) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((((triple1) -> (rule4 % int3)) triple1) -> (rule2 % int2)) ((triple1) -> (rule4 % int3))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
((((((triple1) -> (rule4 % int4)) triple1) -> (rule2 % int3)) ((((((triple1) -> (rule4 % int4)) triple1) -> (rule2 % int3)) ((triple1) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4