Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is rough. Anne is smart. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is rough. Harry is furry. Harry is kind. Harry is smart. Kind, furry things are big. If something is green then it is cold. If Anne is kind and Anne is cold then Anne is rough. Cold, smart things are rough. If something is big and furry then it is cold. All cold, kind things are green.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Kind, furry things are big.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If something is green then it is cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
If Anne is kind and Anne is cold then Anne is rough.
((("Anne" "is" "kind" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "rough" "+"))
Cold, smart things are rough.
((("something" "is" "cold" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
If something is big and furry then it is cold.
((("something" "is" "big" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
All cold, kind things are green.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
Harry is kind.
True
1
proof
[(triple14)]
("Harry" "is" "kind" "+")
triple14
Fiona is not big.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "big" "-")
triple8
Harry is big.
True
3
proof
[(((triple14 triple13) -> rule1))]
("Harry" "is" "big" "+")
((triple14 triple13) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
3
inv-proof
[(((triple14 triple13) -> rule1))]
("Harry" "is" "big" "-")
((triple14 triple13) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
True
5
proof
[(((((triple14 triple13) -> rule1) triple13) -> rule5))]
("Harry" "is" "cold" "+")
((((triple14 triple13) -> (rule1 % int2)) triple13) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not cold.
False
5
inv-proof
[(((((triple14 triple13) -> rule1) triple13) -> rule5))]
("Harry" "is" "cold" "-")
((((triple14 triple13) -> (rule1 % int2)) triple13) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
True
7
proof
[(((((((triple14 triple13) -> rule1) triple13) -> rule5) triple15) -> rule4))]
("Harry" "is" "rough" "+")
((((((triple14 triple13) -> (rule1 % int3)) triple13) -> (rule5 % int2)) triple15) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is not rough.
False
7
inv-proof
[(((((((triple14 triple13) -> rule1) triple13) -> rule5) triple15) -> rule4))]
("Harry" "is" "rough" "-")
((((((triple14 triple13) -> (rule1 % int3)) triple13) -> (rule5 % int2)) triple15) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is big.[(triple1 OR ((triple5 triple3) -> rule1))] Anne is cold.[(triple2 OR ((triple4) -> rule2) OR ((triple1 triple3) -> rule5) OR ((((triple5 triple3) -> rule1) triple3) -> rule5))] Anne is furry.[(triple3)] Anne is green.[(triple4 OR ((triple2 triple5) -> rule6) OR ((((triple1 triple3) -> rule5) triple5) -> rule6) OR ((((((triple5 triple3) -> rule1) triple3) -> rule5) triple5) -> rule6))] Anne is kind.[(triple5)] Anne is rough.[(triple6 OR ((triple2 triple7) -> rule4) OR ((triple5 triple2) -> rule3) OR ((triple5 ((triple4) -> rule2)) -> rule3) OR ((triple5 ((triple1 triple3) -> rule5)) -> rule3) OR ((((triple4) -> rule2) triple7) -> rule4) OR ((((triple1 triple3) -> rule5) triple7) -> rule4) OR ((triple5 ((((triple5 triple3) -> rule1) triple3) -> rule5)) -> rule3) OR ((((((triple5 triple3) -> rule1) triple3) -> rule5) triple7) -> rule4))] Anne is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9 OR ((triple11) -> rule2) OR ((triple8 triple10) -> rule5))] Fiona is furry.[(triple10)] Fiona is green.[(triple11)] Fiona is rough.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is smart.[(triple15)] @1: Harry is big.[(((triple14 triple13) -> rule1))] @2: Harry is cold.[(((((triple14 triple13) -> rule1) triple13) -> rule5))] @3: Harry is green.[(((((((triple14 triple13) -> rule1) triple13) -> rule5) triple14) -> rule6))] Harry is rough.[(((((((triple14 triple13) -> rule1) triple13) -> rule5) triple15) -> rule4))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple5 triple3) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple4) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple1 triple3) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple5 triple3) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is green.
("Anne" "is" "green" "+")
triple4
((triple2 triple5) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((((triple1 triple3) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple5 triple3) -> (rule1 % int3)) triple3) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple6
((triple2 triple7) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple5 triple2) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple5 ((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple5 ((triple1 triple3) -> (rule5 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple4) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple1 triple3) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple5 ((((triple5 triple3) -> (rule1 % int3)) triple3) -> (rule5 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple5 triple3) -> (rule1 % int3)) triple3) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
((triple11) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple8 triple10) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Harry is furry.
("Harry" "is" "furry" "+")
triple13
Harry is kind.
("Harry" "is" "kind" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Harry is big.
("Harry" "is" "big" "+")
((triple14 triple13) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((((triple14 triple13) -> (rule1 % int2)) triple13) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((((triple14 triple13) -> (rule1 % int3)) triple13) -> (rule5 % int2)) triple14) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
((((((triple14 triple13) -> (rule1 % int3)) triple13) -> (rule5 % int2)) triple15) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3