Bob is cold. Bob is furry. Bob is quiet. Bob is white. Charlie is cold. Charlie is furry. Charlie is white. Charlie is young. Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is round. Gary is white. Gary is young. If Charlie is furry and Charlie is kind then Charlie is young. Cold, young things are kind. All round things are young. Quiet, white things are young. White, quiet things are furry. If something is round then it is kind. Cold things are young. If Gary is furry and Gary is white then Gary is kind.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If Charlie is furry and Charlie is kind then Charlie is young.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "young" "+"))
Cold, young things are kind.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
All round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Quiet, white things are young.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
White, quiet things are furry.
((("something" "is" "white" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
If something is round then it is kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If Gary is furry and Gary is white then Gary is kind.
((("Gary" "is" "furry" "+") ("Gary" "is" "white" "+")) -> ("Gary" "is" "kind" "+"))
Charlie is young.
True
1
proof
[(triple8 OR ((triple5) -> rule7))]
("Charlie" "is" "young" "+")
triple8
((triple5) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Gary is not round.
False
1
inv-proof
[(triple13)]
("Gary" "is" "round" "-")
triple13
Bob is young.
True
2
proof
[(((triple1) -> rule7) OR ((triple3 triple4) -> rule4))]
("Bob" "is" "young" "+")
((triple1) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple3 triple4) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is not kind.
False
3
inv-proof
[(((triple5 triple8) -> rule2) OR ((triple5 ((triple5) -> rule7)) -> rule2))]
("Charlie" "is" "kind" "-")
((triple5 triple8) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple5 ((triple5) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple4 triple3) -> rule5))] Bob is quiet.[(triple3)] Bob is white.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Charlie is white.[(triple7)] Charlie is young.[(triple8 OR ((triple5) -> rule7))] Gary is cold.[(triple9)] Gary is furry.[(triple10 OR ((triple14 triple12) -> rule5))] Gary is kind.[(triple11 OR ((triple13) -> rule6) OR ((triple10 triple14) -> rule8) OR ((triple9 triple15) -> rule2) OR ((triple9 ((triple13) -> rule3)) -> rule2) OR ((triple9 ((triple9) -> rule7)) -> rule2) OR ((triple9 ((triple12 triple14) -> rule4)) -> rule2) OR ((((triple14 triple12) -> rule5) triple14) -> rule8))] Gary is quiet.[(triple12)] Gary is round.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15 OR ((triple13) -> rule3) OR ((triple9) -> rule7) OR ((triple12 triple14) -> rule4))] @1: Bob is young.[(((triple1) -> rule7) OR ((triple3 triple4) -> rule4))] Charlie is kind.[(((triple5 triple8) -> rule2) OR ((triple5 ((triple5) -> rule7)) -> rule2))] @2: Bob is kind.[(((triple1 ((triple1) -> rule7)) -> rule2) OR ((triple1 ((triple3 triple4) -> rule4)) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((triple4 triple3) -> (rule5 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple8
((triple5) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
((triple14 triple12) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple11
((triple13) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple10 triple14) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple9 triple15) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple9 ((triple13) -> (rule3 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((triple9 ((triple9) -> (rule7 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((triple9 ((triple12 triple14) -> (rule4 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple14 triple12) -> (rule5 % int2)) triple14) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
((triple13) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple9) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple12 triple14) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple1) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple3 triple4) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5 triple8) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple5 ((triple5) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((triple1 ((triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((triple1 ((triple3 triple4) -> (rule4 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2