Bob is cold. Bob is furry. Bob is white. Erin is cold. Erin is furry. Erin is white. Fiona is smart. Gary is big. Gary is furry. Gary is round. Gary is smart. Gary is white. White, furry things are big. If something is cold and not nice then it is big. If something is white and not smart then it is not cold. If Fiona is smart then Fiona is furry. All white, big things are furry. If something is cold then it is white. If Erin is white then Erin is big. If something is smart and not white then it is round.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
White, furry things are big.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If something is cold and not nice then it is big.
((("something" "is" "cold" "+") ("something" "is" "nice" "~")) -> ("something" "is" "big" "+"))
If something is white and not smart then it is not cold.
((("something" "is" "white" "+") ("something" "is" "smart" "~")) -> ("something" "is" "cold" "-"))
If Fiona is smart then Fiona is furry.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "furry" "+"))
All white, big things are furry.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
If something is cold then it is white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
If Erin is white then Erin is big.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "big" "+"))
If something is smart and not white then it is round.
((("something" "is" "smart" "+") ("something" "is" "white" "~")) -> ("something" "is" "round" "+"))
Gary is round.
True
1
proof
[(triple10)]
("Gary" "is" "round" "+")
triple10
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "round" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is white.[(triple3 OR ((triple1) -> rule6))] Erin is cold.[(triple4)] Erin is furry.[(triple5 OR ((triple6 ((triple6) -> rule7)) -> rule5) OR ((((triple4) -> rule6) ((triple6) -> rule7)) -> rule5) OR ((triple6 ((((triple4) -> rule6)) -> rule7)) -> rule5) OR ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule7)) -> rule5))] Erin is white.[(triple6 OR ((triple4) -> rule6))] Fiona is smart.[(triple7)] Gary is big.[(triple8 OR ((triple12 triple9) -> rule1))] Gary is furry.[(triple9 OR ((triple12 triple8) -> rule5))] Gary is round.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12)] @1: Bob is big.[(((triple3 triple2) -> rule1) OR ((((triple1) -> rule6) triple2) -> rule1))] Erin is big.[(((triple6) -> rule7) OR ((triple6 triple5) -> rule1) OR ((((triple4) -> rule6)) -> rule7) OR ((((triple4) -> rule6) triple5) -> rule1))] Fiona is furry.[(((triple7) -> rule4))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
((triple1) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
((triple6 ((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple4) -> (rule6 % int3)) ((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple6 ((((triple4) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple4) -> (rule6 % int3)) ((((triple4) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
triple6
((triple4) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
((triple12 triple9) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple9
((triple12 triple8) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
Bob is big.
("Bob" "is" "big" "+")
((triple3 triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple1) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((triple6) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple6 triple5) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple4) -> (rule6 % int2)) triple5) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple7) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1