Erin is blue. Erin is cold. Erin is furry. Erin is nice. Erin is not round. Erin is white. Harry is white. All blue things are nice. If something is blue and cold then it is not kind. Kind things are white. If Erin is not cold then Erin is nice. If Harry is blue and Harry is nice then Harry is not kind. White things are blue. If something is blue and not kind then it is not round. All cold things are not round.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is white.
("Erin" "is" "white" "+")
Harry is white.
("Harry" "is" "white" "+")
All blue things are nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If something is blue and cold then it is not kind.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "-"))
Kind things are white.
((("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
If Erin is not cold then Erin is nice.
((("Erin" "is" "cold" "~")) -> ("Erin" "is" "nice" "+"))
If Harry is blue and Harry is nice then Harry is not kind.
((("Harry" "is" "blue" "+") ("Harry" "is" "nice" "+")) -> ("Harry" "is" "kind" "-"))
White things are blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If something is blue and not kind then it is not round.
((("something" "is" "blue" "+") ("something" "is" "kind" "~")) -> ("something" "is" "round" "-"))
All cold things are not round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "-"))
Erin is cold.
True
1
proof
[(triple2)]
("Erin" "is" "cold" "+")
triple2
Erin is round.
False
1
inv-proof
[(triple5 OR ((triple2) -> rule8) OR ((triple1 ((triple1 triple2) -> rule2)) -> rule7) OR ((((triple6) -> rule6) ((triple1 triple2) -> rule2)) -> rule7) OR ((triple1 ((((triple6) -> rule6) triple2) -> rule2)) -> rule7) OR ((((triple6) -> rule6) ((((triple6) -> rule6) triple2) -> rule2)) -> rule7))]
("Erin" "is" "round" "+")
triple5
((triple2) -> (rule8 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
((triple1 ((triple1 triple2) -> (rule2 % int2))) -> (rule7 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
int2
((((triple6) -> (rule6 % int3)) ((triple1 triple2) -> (rule2 % int2))) -> (rule7 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((triple1 ((((triple6) -> (rule6 % int3)) triple2) -> (rule2 % int2))) -> (rule7 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple6) -> (rule6 % int3)) ((((triple6) -> (rule6 % int3)) triple2) -> (rule2 % int2))) -> (rule7 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Harry is blue.
True
2
proof
[(((triple7) -> rule6))]
("Harry" "is" "blue" "+")
((triple7) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
2
inv-proof
[(((triple7) -> rule6))]
("Harry" "is" "blue" "-")
((triple7) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
True
3
proof
[(((((triple7) -> rule6)) -> rule1))]
("Harry" "is" "nice" "+")
((((triple7) -> (rule6 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not nice.
False
3
inv-proof
[(((((triple7) -> rule6)) -> rule1))]
("Harry" "is" "nice" "-")
((((triple7) -> (rule6 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not kind.
True
6
proof
[(((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule1)) -> rule5))]
("Harry" "is" "kind" "-")
((((triple7) -> (rule6 % int3)) ((((triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
False
6
inv-proof
[(((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule1)) -> rule5))]
("Harry" "is" "kind" "+")
((((triple7) -> (rule6 % int3)) ((((triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Erin is blue.[(triple1 OR ((triple6) -> rule6))] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is nice.[(triple4 OR ((triple1) -> rule1) OR ((((triple6) -> rule6)) -> rule1))] Erin is not round.[(triple5 OR ((triple2) -> rule8) OR ((triple1 ((triple1 triple2) -> rule2)) -> rule7) OR ((((triple6) -> rule6) ((triple1 triple2) -> rule2)) -> rule7) OR ((triple1 ((((triple6) -> rule6) triple2) -> rule2)) -> rule7) OR ((((triple6) -> rule6) ((((triple6) -> rule6) triple2) -> rule2)) -> rule7))] Erin is white.[(triple6)] Harry is white.[(triple7)] @1: Erin is not kind.[(((triple1 triple2) -> rule2) OR ((((triple6) -> rule6) triple2) -> rule2))] Harry is blue.[(((triple7) -> rule6))] @2: Harry is nice.[(((((triple7) -> rule6)) -> rule1))] @3: Harry is not kind.[(((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule1)) -> rule5))] @4: Harry is not round.[(((((triple7) -> rule6) ((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule1)) -> rule5)) -> rule7))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
((triple6) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
((triple1) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not round.
("Erin" "is" "round" "-")
triple5
((triple2) -> (rule8 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
((triple1 ((triple1 triple2) -> (rule2 % int2))) -> (rule7 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
int2
((((triple6) -> (rule6 % int3)) ((triple1 triple2) -> (rule2 % int2))) -> (rule7 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((triple1 ((((triple6) -> (rule6 % int3)) triple2) -> (rule2 % int2))) -> (rule7 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple6) -> (rule6 % int3)) ((((triple6) -> (rule6 % int3)) triple2) -> (rule2 % int2))) -> (rule7 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Erin is not kind.
("Erin" "is" "kind" "-")
((triple1 triple2) -> (rule2 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
((((triple6) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple7) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((((triple7) -> (rule6 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not kind.
("Harry" "is" "kind" "-")
((((triple7) -> (rule6 % int3)) ((((triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not round.
("Harry" "is" "round" "-")
((((triple7) -> (rule6 % int4)) ((((triple7) -> (rule6 % int4)) ((((triple7) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is not round.
("Harry" "is" "round" "-")
int1
Harry is not kind.
("Harry" "is" "kind" "-")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4