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