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