Bob is cold. Bob is green. Bob is round. Bob is white. Bob is young. Gary is blue. Gary is furry. Gary is white. Gary is young. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is round. Harry is white. If someone is furry then they are round. If someone is blue and round then they are green. All young, furry people are green. All blue, white people are cold. All furry, blue people are green. If Bob is green then Bob is round.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "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 round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is furry then they are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
All young, furry people are green.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
All blue, white people are cold.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
All furry, blue people are green.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If Bob is green then Bob is round.
((("Bob" "is" "green" "+")) -> ("Bob" "is" "round" "+"))
Gary is white.
True
1
proof
[(triple8)]
("Gary" "is" "white" "+")
triple8
Harry is not round.
False
1
inv-proof
[(triple14 OR ((triple12) -> rule1))]
("Harry" "is" "round" "-")
triple14
((triple12) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Gary is round.
True
2
proof
[(((triple7) -> rule1))]
("Gary" "is" "round" "+")
((triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple7) -> rule1))]
("Gary" "is" "round" "-")
((triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is round.[(triple3 OR ((triple2) -> rule6))] Bob is white.[(triple4)] Bob is young.[(triple5)] Gary is blue.[(triple6)] Gary is furry.[(triple7)] Gary is white.[(triple8)] Gary is young.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11 OR ((triple10 triple15) -> rule4))] Harry is furry.[(triple12)] Harry is green.[(triple13 OR ((triple10 triple14) -> rule2) OR ((triple12 triple10) -> rule5) OR ((triple10 ((triple12) -> rule1)) -> rule2))] Harry is round.[(triple14 OR ((triple12) -> rule1))] Harry is white.[(triple15)] @1: Gary is cold.[(((triple6 triple8) -> rule4))] Gary is green.[(((triple7 triple6) -> rule5) OR ((triple9 triple7) -> rule3) OR ((triple6 ((triple7) -> rule1)) -> rule2))] Gary is round.[(((triple7) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
((triple2) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is white.
("Gary" "is" "white" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
((triple10 triple15) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
((triple10 triple14) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple12 triple10) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple10 ((triple12) -> (rule1 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
triple14
((triple12) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple15
Gary is cold.
("Gary" "is" "cold" "+")
((triple6 triple8) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple7 triple6) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple9 triple7) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple6 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple7) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1