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