Bob is big. Bob is kind. Bob is smart. Charlie is blue. Charlie is kind. Erin is blue. Erin is furry. Erin is kind. Erin is round. Erin is smart. Fiona is nice. Fiona is smart. All round, furry things are big. If something is nice and round then it is blue. If something is kind and furry then it is smart. Kind things are big. If something is blue and smart then it is furry. If Bob is furry and Bob is big then Bob is nice. Nice, smart things are kind. If Bob is furry then Bob is smart. All nice, big things are round.
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All round, furry things are big.
((("something" "is" "round" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If something is nice and round then it is blue.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If something is kind and furry then it is smart.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
If something is blue and smart then it is furry.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
If Bob is furry and Bob is big then Bob is nice.
((("Bob" "is" "furry" "+") ("Bob" "is" "big" "+")) -> ("Bob" "is" "nice" "+"))
Nice, smart things are kind.
((("something" "is" "nice" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
If Bob is furry then Bob is smart.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "smart" "+"))
All nice, big things are round.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
Erin is blue.
True
1
proof
[(triple6)]
("Erin" "is" "blue" "+")
triple6
Bob is not big.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule4))]
("Bob" "is" "big" "-")
triple1
((triple2) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Fiona is kind.
True
3
proof
[(((triple11 triple12) -> rule7))]
("Fiona" "is" "kind" "+")
((triple11 triple12) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Erin is not big.
False
2
inv-proof
[(((triple8) -> rule4) OR ((triple9 triple7) -> rule1) OR ((triple9 ((triple6 triple10) -> rule5)) -> rule1))]
("Erin" "is" "big" "-")
((triple8) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple9 triple7) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple9 ((triple6 triple10) -> (rule5 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Fiona is big.
True
4
proof
[(((((triple11 triple12) -> rule7)) -> rule4))]
("Fiona" "is" "big" "+")
((((triple11 triple12) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not big.
False
4
inv-proof
[(((((triple11 triple12) -> rule7)) -> rule4))]
("Fiona" "is" "big" "-")
((((triple11 triple12) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
True
6
proof
[(((triple11 ((((triple11 triple12) -> rule7)) -> rule4)) -> rule9))]
("Fiona" "is" "round" "+")
((triple11 ((((triple11 triple12) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not round.
False
6
inv-proof
[(((triple11 ((((triple11 triple12) -> rule7)) -> rule4)) -> rule9))]
("Fiona" "is" "round" "-")
((triple11 ((((triple11 triple12) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is blue.
True
8
proof
[(((triple11 ((triple11 ((((triple11 triple12) -> rule7)) -> rule4)) -> rule9)) -> rule2))]
("Fiona" "is" "blue" "+")
((triple11 ((triple11 ((((triple11 triple12) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is not blue.
False
8
inv-proof
[(((triple11 ((triple11 ((((triple11 triple12) -> rule7)) -> rule4)) -> rule9)) -> rule2))]
("Fiona" "is" "blue" "-")
((triple11 ((triple11 ((((triple11 triple12) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
True
10
proof
[(((((triple11 ((triple11 ((((triple11 triple12) -> rule7)) -> rule4)) -> rule9)) -> rule2) triple12) -> rule5))]
("Fiona" "is" "furry" "+")
((((triple11 ((triple11 ((((triple11 triple12) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule2 % int2)) triple12) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is not furry.
False
10
inv-proof
[(((((triple11 ((triple11 ((((triple11 triple12) -> rule7)) -> rule4)) -> rule9)) -> rule2) triple12) -> rule5))]
("Fiona" "is" "furry" "-")
((((triple11 ((triple11 ((((triple11 triple12) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule2 % int2)) triple12) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Bob is not nice.
Unknown
inv-rconc
[@3: Bob is nice.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule2 <- FAIL)]]
("Bob" "is" "nice" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Charlie" "is" "round" "+")
Bob is not furry.
Unknown
inv-rconc
[@3: Bob is furry.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule6 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is blue.
Unknown
rconc
[@3: Bob is blue.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule5 <- FAIL)]]
("Bob" "is" "blue" "+")
Charlie is not furry.
Unknown
inv-rconc
[@2: Charlie is furry.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is smart.
Unknown
rconc
[@2: Charlie is smart.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Charlie" "is" "smart" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Bob is big.[(triple1 OR ((triple2) -> rule4))] Bob is kind.[(triple2)] Bob is smart.[(triple3)] Charlie is blue.[(triple4)] Charlie is kind.[(triple5)] Erin is blue.[(triple6)] Erin is furry.[(triple7 OR ((triple6 triple10) -> rule5))] Erin is kind.[(triple8)] Erin is round.[(triple9)] Erin is smart.[(triple10 OR ((triple8 triple7) -> rule3))] Fiona is nice.[(triple11)] Fiona is smart.[(triple12)] @1: Charlie is big.[(((triple5) -> rule4))] Erin is big.[(((triple8) -> rule4) OR ((triple9 triple7) -> rule1) OR ((triple9 ((triple6 triple10) -> rule5)) -> rule1))] Fiona is kind.[(((triple11 triple12) -> rule7))] @2: Fiona is big.[(((((triple11 triple12) -> rule7)) -> rule4))] @3: Fiona is round.[(((triple11 ((((triple11 triple12) -> rule7)) -> rule4)) -> rule9))] @4: Fiona is blue.[(((triple11 ((triple11 ((((triple11 triple12) -> rule7)) -> rule4)) -> rule9)) -> rule2))] @5: Fiona is furry.[(((((triple11 ((triple11 ((((triple11 triple12) -> rule7)) -> rule4)) -> rule9)) -> rule2) triple12) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple2) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
((triple6 triple10) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Erin is smart.
("Erin" "is" "smart" "+")
triple10
((triple8 triple7) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Charlie is big.
("Charlie" "is" "big" "+")
((triple5) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple8) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple9 triple7) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple9 ((triple6 triple10) -> (rule5 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple11 triple12) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((((triple11 triple12) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((triple11 ((((triple11 triple12) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple11 ((triple11 ((((triple11 triple12) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple11 ((triple11 ((((triple11 triple12) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule2 % int2)) triple12) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5