Bob is furry. Bob is green. Bob is round. Bob is smart. Charlie is furry. Charlie is green. Charlie is white. Erin is big. Erin is round. Erin is white. Fiona is big. Fiona is green. Fiona is kind. Fiona is round. Fiona is smart. If Fiona is white then Fiona is kind. If someone is kind and green then they are furry. If someone is smart and big then they are white. If someone is kind then they are big. If Bob is smart then Bob is kind. White, smart people are kind. If someone is big then they are white. If someone is smart then they are big.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Fiona is white then Fiona is kind.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "kind" "+"))
If someone is kind and green then they are furry.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is smart and big then they are white.
((("someone" "is" "smart" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If Bob is smart then Bob is kind.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "kind" "+"))
White, smart people are kind.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
If someone is big then they are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
If someone is smart then they are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
Fiona is smart.
True
1
proof
[(triple15)]
("Fiona" "is" "smart" "+")
triple15
Fiona is not smart.
False
1
inv-proof
[(triple15)]
("Fiona" "is" "smart" "-")
triple15
Bob is big.
True
2
proof
[(((triple4) -> rule8) OR ((((triple4) -> rule5)) -> rule4))]
("Bob" "is" "big" "+")
((triple4) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not big.
False
2
inv-proof
[(((triple4) -> rule8) OR ((((triple4) -> rule5)) -> rule4))]
("Bob" "is" "big" "-")
((triple4) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Bob is furry.[(triple1 OR ((((triple4) -> rule5) triple2) -> rule2) OR ((((((((triple4) -> rule8)) -> rule7) triple4) -> rule6) triple2) -> rule2) OR ((((((triple4 ((triple4) -> rule8)) -> rule3) triple4) -> rule6) triple2) -> rule2))] Bob is green.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Charlie is furry.[(triple5)] Charlie is green.[(triple6)] Charlie is white.[(triple7)] Erin is big.[(triple8)] Erin is round.[(triple9)] Erin is white.[(triple10 OR ((triple8) -> rule7))] Fiona is big.[(triple11 OR ((triple13) -> rule4) OR ((triple15) -> rule8))] Fiona is green.[(triple12)] Fiona is kind.[(triple13 OR ((((triple11) -> rule7)) -> rule1) OR ((((triple15 triple11) -> rule3)) -> rule1) OR ((((triple11) -> rule7) triple15) -> rule6) OR ((((triple15 triple11) -> rule3) triple15) -> rule6) OR ((((((triple15) -> rule8)) -> rule7)) -> rule1) OR ((((triple15 ((triple15) -> rule8)) -> rule3)) -> rule1) OR ((((((triple15) -> rule8)) -> rule7) triple15) -> rule6) OR ((((triple15 ((triple15) -> rule8)) -> rule3) triple15) -> rule6))] Fiona is round.[(triple14)] Fiona is smart.[(triple15)] @1: Bob is big.[(((triple4) -> rule8) OR ((((triple4) -> rule5)) -> rule4))] Bob is kind.[(((triple4) -> rule5) OR ((((((triple4) -> rule8)) -> rule7) triple4) -> rule6) OR ((((triple4 ((triple4) -> rule8)) -> rule3) triple4) -> rule6))] Fiona is furry.[(((triple13 triple12) -> rule2) OR ((((((triple11) -> rule7)) -> rule1) triple12) -> rule2) OR ((((((triple15 triple11) -> rule3)) -> rule1) triple12) -> rule2) OR ((((((triple11) -> rule7) triple15) -> rule6) triple12) -> rule2) OR ((((((triple15 triple11) -> rule3) triple15) -> rule6) triple12) -> rule2) OR ((((((((triple15) -> rule8)) -> rule7)) -> rule1) triple12) -> rule2) OR ((((((triple15 ((triple15) -> rule8)) -> rule3)) -> rule1) triple12) -> rule2) OR ((((((((triple15) -> rule8)) -> rule7) triple15) -> rule6) triple12) -> rule2) OR ((((((triple15 ((triple15) -> rule8)) -> rule3) triple15) -> rule6) triple12) -> rule2))] Fiona is white.[(((triple11) -> rule7) OR ((triple15 triple11) -> rule3) OR ((((triple13) -> rule4)) -> rule7) OR ((((triple15) -> rule8)) -> rule7) OR ((triple15 ((triple13) -> rule4)) -> rule3) OR ((triple15 ((triple15) -> rule8)) -> rule3))] @2: Bob is white.[(((((triple4) -> rule8)) -> rule7) OR ((triple4 ((triple4) -> rule8)) -> rule3) OR ((((((triple4) -> rule5)) -> rule4)) -> rule7) OR ((triple4 ((((triple4) -> rule5)) -> rule4)) -> rule3))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
((((triple4) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((((triple4) -> (rule8 % int4))) -> (rule7 % int3)) triple4) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple4 ((triple4) -> (rule8 % int4))) -> (rule3 % int3)) triple4) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
((triple8) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple11
((triple13) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple15) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
((((triple11) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple15 triple11) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple11) -> (rule7 % int2)) triple15) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple15 triple11) -> (rule3 % int2)) triple15) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((((triple15) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple15 ((triple15) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple15) -> (rule8 % int3))) -> (rule7 % int2)) triple15) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple15 ((triple15) -> (rule8 % int3))) -> (rule3 % int2)) triple15) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
triple14
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
Bob is big.
("Bob" "is" "big" "+")
((triple4) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((triple4) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((((triple4) -> (rule8 % int3))) -> (rule7 % int2)) triple4) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((triple4 ((triple4) -> (rule8 % int3))) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple13 triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((((triple11) -> (rule7 % int3))) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple15 triple11) -> (rule3 % int3))) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple11) -> (rule7 % int3)) triple15) -> (rule6 % int2)) triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple15 triple11) -> (rule3 % int3)) triple15) -> (rule6 % int2)) triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((((triple15) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple15 ((triple15) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((((triple15) -> (rule8 % int4))) -> (rule7 % int3)) triple15) -> (rule6 % int2)) triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple15 ((triple15) -> (rule8 % int4))) -> (rule3 % int3)) triple15) -> (rule6 % int2)) triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
((triple11) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple15 triple11) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple13) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple15) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((triple15 ((triple13) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((triple15 ((triple15) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((((triple4) -> (rule8 % int2))) -> (rule7 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple4 ((triple4) -> (rule8 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((((triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple4 ((((triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3