Anne is cold. Anne is kind. Anne is nice. Anne is round. Anne is smart. Anne is young. Dave is cold. Dave is kind. Dave is nice. Dave is round. Dave is smart. Dave is young. Fiona is cold. Fiona is kind. Fiona is smart. Fiona is young. If Fiona is round and Fiona is nice then Fiona is furry. Round, nice people are young. If Dave is smart then Dave is kind. All furry people are cold. Round people are nice. If Fiona is furry then Fiona is smart. Young people are round. If someone is cold and nice then they are smart.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is round and Fiona is nice then Fiona is furry.
((("Fiona" "is" "round" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "furry" "+"))
Round, nice people are young.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If Dave is smart then Dave is kind.
((("Dave" "is" "smart" "+")) -> ("Dave" "is" "kind" "+"))
All furry people are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If Fiona is furry then Fiona is smart.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "smart" "+"))
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and nice then they are smart.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
Anne is round.
True
1
proof
[(triple4 OR ((triple6) -> rule7))]
("Anne" "is" "round" "+")
triple4
((triple6) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Dave is not kind.
False
1
inv-proof
[(triple8 OR ((triple11) -> rule3) OR ((((triple7 triple9) -> rule8)) -> rule3) OR ((((triple7 ((triple10) -> rule5)) -> rule8)) -> rule3) OR ((((triple7 ((((triple12) -> rule7)) -> rule5)) -> rule8)) -> rule3))]
("Dave" "is" "kind" "-")
triple8
((triple11) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple7 triple9) -> (rule8 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple7 ((triple10) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple7 ((((triple12) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Fiona is round.
True
2
proof
[(((triple16) -> rule7))]
("Fiona" "is" "round" "+")
((triple16) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple16) -> rule7))]
("Fiona" "is" "round" "-")
((triple16) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
True
3
proof
[(((((triple16) -> rule7)) -> rule5))]
("Fiona" "is" "nice" "+")
((((triple16) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not nice.
False
3
inv-proof
[(((((triple16) -> rule7)) -> rule5))]
("Fiona" "is" "nice" "-")
((((triple16) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((triple4) -> rule5) OR ((((triple6) -> rule7)) -> rule5))] Anne is round.[(triple4 OR ((triple6) -> rule7))] Anne is smart.[(triple5 OR ((triple1 triple3) -> rule8) OR ((triple1 ((triple4) -> rule5)) -> rule8) OR ((triple1 ((((triple6) -> rule7)) -> rule5)) -> rule8))] Anne is young.[(triple6 OR ((triple4 triple3) -> rule2) OR ((triple4 ((triple4) -> rule5)) -> rule2))] Dave is cold.[(triple7)] Dave is kind.[(triple8 OR ((triple11) -> rule3) OR ((((triple7 triple9) -> rule8)) -> rule3) OR ((((triple7 ((triple10) -> rule5)) -> rule8)) -> rule3) OR ((((triple7 ((((triple12) -> rule7)) -> rule5)) -> rule8)) -> rule3))] Dave is nice.[(triple9 OR ((triple10) -> rule5) OR ((((triple12) -> rule7)) -> rule5))] Dave is round.[(triple10 OR ((triple12) -> rule7))] Dave is smart.[(triple11 OR ((triple7 triple9) -> rule8) OR ((triple7 ((triple10) -> rule5)) -> rule8) OR ((triple7 ((((triple12) -> rule7)) -> rule5)) -> rule8))] Dave is young.[(triple12 OR ((triple10 triple9) -> rule2) OR ((triple10 ((triple10) -> rule5)) -> rule2))] Fiona is cold.[(triple13 OR ((((((triple16) -> rule7) ((((triple16) -> rule7)) -> rule5)) -> rule1)) -> rule4))] Fiona is kind.[(triple14)] Fiona is smart.[(triple15 OR ((triple13 ((((triple16) -> rule7)) -> rule5)) -> rule8) OR ((((((triple16) -> rule7) ((((triple16) -> rule7)) -> rule5)) -> rule1)) -> rule6) OR ((((((((triple16) -> rule7) ((((triple16) -> rule7)) -> rule5)) -> rule1)) -> rule4) ((((triple16) -> rule7)) -> rule5)) -> rule8))] Fiona is young.[(triple16)] @1: Fiona is round.[(((triple16) -> rule7))] @2: Fiona is nice.[(((((triple16) -> rule7)) -> rule5))] @3: Fiona is furry.[(((((triple16) -> rule7) ((((triple16) -> rule7)) -> rule5)) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple4) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple6) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple5
((triple1 triple3) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple1 ((triple4) -> (rule5 % int2))) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((triple1 ((((triple6) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
triple6
((triple4 triple3) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple4 ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple8
((triple11) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple7 triple9) -> (rule8 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple7 ((triple10) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple7 ((((triple12) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
triple9
((triple10) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple12) -> (rule7 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
triple10
((triple12) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
triple11
((triple7 triple9) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple7 ((triple10) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((triple7 ((((triple12) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
triple12
((triple10 triple9) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple10 ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple13
((((((triple16) -> (rule7 % int4)) ((((triple16) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple14
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
((triple13 ((((triple16) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple16) -> (rule7 % int4)) ((((triple16) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple16) -> (rule7 % int5)) ((((triple16) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple16) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is young.
("Fiona" "is" "young" "+")
triple16
Fiona is round.
("Fiona" "is" "round" "+")
((triple16) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple16) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple16) -> (rule7 % int3)) ((((triple16) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3