Anne is blue. Anne is round. Anne is white. Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is round. Bob is white. Bob is young. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is round. Charlie is white. Charlie is young. All young things are cold. Blue, round things are young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
All young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
Blue, round things are young.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Anne is round.
True
1
proof
[(triple2)]
("Anne" "is" "round" "+")
triple2
Bob is not young.
False
1
inv-proof
[(triple10 OR ((triple4 triple8) -> rule2))]
("Bob" "is" "young" "-")
triple10
((triple4 triple8) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is cold.
True
2
proof
[(((triple16) -> rule1) OR ((((triple11 triple14) -> rule2)) -> rule1))]
("Charlie" "is" "cold" "+")
((triple16) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((triple11 triple14) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Anne is not young.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("Anne" "is" "young" "-")
((triple1 triple2) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
True
4
proof
[(((((triple1 triple2) -> rule2)) -> rule1))]
("Anne" "is" "cold" "+")
((((triple1 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not cold.
False
4
inv-proof
[(((((triple1 triple2) -> rule2)) -> rule1))]
("Anne" "is" "cold" "-")
((((triple1 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Bob is blue.[(triple4)] Bob is cold.[(triple5 OR ((triple10) -> rule1) OR ((((triple4 triple8) -> rule2)) -> rule1))] Bob is furry.[(triple6)] Bob is kind.[(triple7)] Bob is round.[(triple8)] Bob is white.[(triple9)] Bob is young.[(triple10 OR ((triple4 triple8) -> rule2))] Charlie is blue.[(triple11)] Charlie is furry.[(triple12)] Charlie is kind.[(triple13)] Charlie is round.[(triple14)] Charlie is white.[(triple15)] Charlie is young.[(triple16 OR ((triple11 triple14) -> rule2))] @1: Anne is young.[(((triple1 triple2) -> rule2))] Charlie is cold.[(((triple16) -> rule1) OR ((((triple11 triple14) -> rule2)) -> rule1))] @2: Anne is cold.[(((((triple1 triple2) -> rule2)) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
((triple10) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple4 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple9
Bob is young.
("Bob" "is" "young" "+")
triple10
((triple4 triple8) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple11
Charlie is furry.
("Charlie" "is" "furry" "+")
triple12
Charlie is kind.
("Charlie" "is" "kind" "+")
triple13
Charlie is round.
("Charlie" "is" "round" "+")
triple14
Charlie is white.
("Charlie" "is" "white" "+")
triple15
Charlie is young.
("Charlie" "is" "young" "+")
triple16
((triple11 triple14) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple1 triple2) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple16) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((triple11 triple14) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
((((triple1 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2