Bob is blue. Bob is cold. Bob is green. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is round. Gary is smart. Harry is big. Harry is not blue. Harry is cold. Harry is green. Harry is round. Harry is smart. All furry, blue things are big. All green, blue things are furry. If Gary is green and Gary is blue then Gary is furry. If Bob is round and Bob is not cold then Bob is not smart. If Harry is furry then Harry is big. Round, cold things are green. If something is big and not furry then it is smart. Cold things are smart.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All furry, blue things are big.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
All green, blue things are furry.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If Gary is green and Gary is blue then Gary is furry.
((("Gary" "is" "green" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "furry" "+"))
If Bob is round and Bob is not cold then Bob is not smart.
((("Bob" "is" "round" "+") ("Bob" "is" "cold" "~")) -> ("Bob" "is" "smart" "-"))
If Harry is furry then Harry is big.
((("Harry" "is" "furry" "+")) -> ("Harry" "is" "big" "+"))
Round, cold things are green.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something is big and not furry then it is smart.
((("something" "is" "big" "+") ("something" "is" "furry" "~")) -> ("something" "is" "smart" "+"))
Cold things are smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Harry is smart.
True
1
proof
[(triple16 OR ((triple13) -> rule8))]
("Harry" "is" "smart" "+")
triple16
((triple13) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is not big.
False
1
inv-proof
[(triple11)]
("Harry" "is" "big" "-")
triple11
Bob is furry.
True
3
proof
[(((triple3 triple1) -> rule2))]
("Bob" "is" "furry" "+")
((triple3 triple1) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("Bob" "is" "furry" "-")
((triple3 triple1) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "furry" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Gary is big.[(triple4 OR ((triple7 triple5) -> rule1) OR ((((triple8 triple5) -> rule2) triple5) -> rule1) OR ((((triple8 triple5) -> rule3) triple5) -> rule1) OR ((((((triple9 triple6) -> rule6) triple5) -> rule2) triple5) -> rule1) OR ((((((triple9 triple6) -> rule6) triple5) -> rule3) triple5) -> rule1))] Gary is blue.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7 OR ((triple8 triple5) -> rule2) OR ((triple8 triple5) -> rule3) OR ((((triple9 triple6) -> rule6) triple5) -> rule2) OR ((((triple9 triple6) -> rule6) triple5) -> rule3))] Gary is green.[(triple8 OR ((triple9 triple6) -> rule6))] Gary is round.[(triple9)] Gary is smart.[(triple10 OR ((triple6) -> rule8))] Harry is big.[(triple11)] Harry is cold.[(triple13)] Harry is green.[(triple14 OR ((triple15 triple13) -> rule6))] Harry is not blue.[(triple12)] Harry is round.[(triple15)] Harry is smart.[(triple16 OR ((triple13) -> rule8))] @1: Bob is furry.[(((triple3 triple1) -> rule2))] Bob is smart.[(((triple2) -> rule8))] @2: Bob is big.[(((((triple3 triple1) -> rule2) triple1) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
((triple7 triple5) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple8 triple5) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple8 triple5) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((((triple9 triple6) -> (rule6 % int3)) triple5) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple9 triple6) -> (rule6 % int3)) triple5) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
((triple8 triple5) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple8 triple5) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple9 triple6) -> (rule6 % int2)) triple5) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple9 triple6) -> (rule6 % int2)) triple5) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple8
((triple9 triple6) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
((triple6) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
((triple15 triple13) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not blue.
("Harry" "is" "blue" "-")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
((triple13) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((triple3 triple1) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((triple2) -> (rule8 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple3 triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2