Anne is red. Erin is red. Erin is white. Fiona is green. Harry is cold. Harry is green. Harry is nice. If Fiona is nice then Fiona is furry. If Fiona is furry and Fiona is red then Fiona is smart. All white, red people are nice. If someone is green and nice then they are white. Nice people are white. All red people are white. If Anne is white and Anne is smart then Anne is nice. Green people are red.
Anne is red.
("Anne" "is" "red" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If Fiona is nice then Fiona is furry.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "furry" "+"))
If Fiona is furry and Fiona is red then Fiona is smart.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "red" "+")) -> ("Fiona" "is" "smart" "+"))
All white, red people are nice.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice then they are white.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
All red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If Anne is white and Anne is smart then Anne is nice.
((("Anne" "is" "white" "+") ("Anne" "is" "smart" "+")) -> ("Anne" "is" "nice" "+"))
Green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Harry is cold.
True
1
proof
[(triple5)]
("Harry" "is" "cold" "+")
triple5
Erin is not white.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule6))]
("Erin" "is" "white" "-")
triple3
((triple2) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
True
3
proof
[(((triple3 triple2) -> rule3) OR ((((triple2) -> rule6) triple2) -> rule3))]
("Erin" "is" "nice" "+")
((triple3 triple2) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple2) -> (rule6 % int2)) triple2) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Harry is not red.
False
2
inv-proof
[(((triple6) -> rule8))]
("Harry" "is" "red" "-")
((triple6) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Anne is nice.
True
4
proof
[(((((triple1) -> rule6) triple1) -> rule3))]
("Anne" "is" "nice" "+")
((((triple1) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not nice.
False
4
inv-proof
[(((((triple1) -> rule6) triple1) -> rule3))]
("Anne" "is" "nice" "-")
((((triple1) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Fiona is nice.
True
6
proof
[(((((((triple4) -> rule8)) -> rule6) ((triple4) -> rule8)) -> rule3))]
("Fiona" "is" "nice" "+")
((((((triple4) -> (rule8 % int3))) -> (rule6 % int2)) ((triple4) -> (rule8 % int3))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is not nice.
False
6
inv-proof
[(((((((triple4) -> rule8)) -> rule6) ((triple4) -> rule8)) -> rule3))]
("Fiona" "is" "nice" "-")
((((((triple4) -> (rule8 % int3))) -> (rule6 % int2)) ((triple4) -> (rule8 % int3))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is furry.
True
7
proof
[(((((((((triple4) -> rule8)) -> rule6) ((triple4) -> rule8)) -> rule3)) -> rule1))]
("Fiona" "is" "furry" "+")
((((((((triple4) -> (rule8 % int4))) -> (rule6 % int3)) ((triple4) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is not furry.
False
7
inv-proof
[(((((((((triple4) -> rule8)) -> rule6) ((triple4) -> rule8)) -> rule3)) -> rule1))]
("Fiona" "is" "furry" "-")
((((((((triple4) -> (rule8 % int4))) -> (rule6 % int3)) ((triple4) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is smart.
True
10
proof
[(((((((((((triple4) -> rule8)) -> rule6) ((triple4) -> rule8)) -> rule3)) -> rule1) ((triple4) -> rule8)) -> rule2))]
("Fiona" "is" "smart" "+")
((((((((((triple4) -> (rule8 % int5))) -> (rule6 % int4)) ((triple4) -> (rule8 % int5))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple4) -> (rule8 % int5))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is not smart.
False
10
inv-proof
[(((((((((((triple4) -> rule8)) -> rule6) ((triple4) -> rule8)) -> rule3)) -> rule1) ((triple4) -> rule8)) -> rule2))]
("Fiona" "is" "smart" "-")
((((((((((triple4) -> (rule8 % int5))) -> (rule6 % int4)) ((triple4) -> (rule8 % int5))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple4) -> (rule8 % int5))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Anne is red.[(triple1)] Erin is red.[(triple2)] Erin is white.[(triple3 OR ((triple2) -> rule6))] Fiona is green.[(triple4)] Harry is cold.[(triple5)] Harry is green.[(triple6)] Harry is nice.[(triple7 OR ((((((triple6) -> rule8)) -> rule6) ((triple6) -> rule8)) -> rule3))] @1: Anne is white.[(((triple1) -> rule6))] Erin is nice.[(((triple3 triple2) -> rule3) OR ((((triple2) -> rule6) triple2) -> rule3))] Fiona is red.[(((triple4) -> rule8))] Harry is red.[(((triple6) -> rule8))] Harry is white.[(((triple7) -> rule5) OR ((triple6 triple7) -> rule4) OR ((((triple6) -> rule8)) -> rule6))] @2: Anne is nice.[(((((triple1) -> rule6) triple1) -> rule3))] Fiona is white.[(((((triple4) -> rule8)) -> rule6))] @3: Fiona is nice.[(((((((triple4) -> rule8)) -> rule6) ((triple4) -> rule8)) -> rule3))] @4: Fiona is furry.[(((((((((triple4) -> rule8)) -> rule6) ((triple4) -> rule8)) -> rule3)) -> rule1))] @5: Fiona is smart.[(((((((((((triple4) -> rule8)) -> rule6) ((triple4) -> rule8)) -> rule3)) -> rule1) ((triple4) -> rule8)) -> rule2))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
((triple2) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
((((((triple6) -> (rule8 % int3))) -> (rule6 % int2)) ((triple6) -> (rule8 % int3))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple3 triple2) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple2) -> (rule6 % int2)) triple2) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((triple4) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple6) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple7) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple6 triple7) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
((((triple1) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((triple4) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((((triple4) -> (rule8 % int3))) -> (rule6 % int2)) ((triple4) -> (rule8 % int3))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((((triple4) -> (rule8 % int4))) -> (rule6 % int3)) ((triple4) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
((((((((((triple4) -> (rule8 % int5))) -> (rule6 % int4)) ((triple4) -> (rule8 % int5))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple4) -> (rule8 % int5))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5