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