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