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