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