Charlie is blue. Charlie is green. Charlie is nice. Charlie is rough. Erin is big. Erin is blue. Erin is nice. Erin is rough. Fiona is big. Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is rough. Harry is green. Harry is quiet. Harry is rough. If something is rough and green then it is smart. Green things are nice. All blue, big things are green. All big things are rough. All nice things are big. All nice, rough things are smart.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If something is rough and green then it is smart.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
Green things are nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All blue, big things are green.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
All big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
All nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
All nice, rough things are smart.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Harry is green.
True
1
proof
[(triple14)]
("Harry" "is" "green" "+")
triple14
Charlie is not rough.
False
1
inv-proof
[(triple4 OR ((((triple3) -> rule5)) -> rule4) OR ((((((triple2) -> rule2)) -> rule5)) -> rule4))]
("Charlie" "is" "rough" "-")
triple4
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2 OR ((triple1 ((triple3) -> rule5)) -> rule3))] Charlie is nice.[(triple3 OR ((triple2) -> rule2))] Charlie is rough.[(triple4 OR ((((triple3) -> rule5)) -> rule4) OR ((((((triple2) -> rule2)) -> rule5)) -> rule4))] Erin is big.[(triple5 OR ((triple7) -> rule5))] Erin is blue.[(triple6)] Erin is nice.[(triple7 OR ((((triple6 triple5) -> rule3)) -> rule2))] Erin is rough.[(triple8 OR ((triple5) -> rule4) OR ((((triple7) -> rule5)) -> rule4))] Fiona is big.[(triple9 OR ((triple11) -> rule5))] Fiona is blue.[(triple10)] Fiona is nice.[(triple11 OR ((((triple10 triple9) -> rule3)) -> rule2))] Fiona is quiet.[(triple12)] Fiona is rough.[(triple13 OR ((triple9) -> rule4) OR ((((triple11) -> rule5)) -> rule4))] Harry is green.[(triple14)] Harry is quiet.[(triple15)] Harry is rough.[(triple16 OR ((((((triple14) -> rule2)) -> rule5)) -> rule4))] @1: Charlie is big.[(((triple3) -> rule5) OR ((((triple2) -> rule2)) -> rule5))] Charlie is smart.[(((triple3 triple4) -> rule6) OR ((triple4 triple2) -> rule1) OR ((((triple2) -> rule2) triple4) -> rule6) OR ((triple3 ((((triple3) -> rule5)) -> rule4)) -> rule6) OR ((triple4 ((triple1 ((triple3) -> rule5)) -> rule3)) -> rule1) OR ((((((triple3) -> rule5)) -> rule4) triple2) -> rule1) OR ((((triple2) -> rule2) ((((triple3) -> rule5)) -> rule4)) -> rule6) OR ((((((triple3) -> rule5)) -> rule4) ((triple1 ((triple3) -> rule5)) -> rule3)) -> rule1) OR ((triple3 ((((((triple2) -> rule2)) -> rule5)) -> rule4)) -> rule6) OR ((((((((triple2) -> rule2)) -> rule5)) -> rule4) triple2) -> rule1) OR ((((triple2) -> rule2) ((((((triple2) -> rule2)) -> rule5)) -> rule4)) -> rule6) OR ((((((((triple2) -> rule2)) -> rule5)) -> rule4) ((triple1 ((triple3) -> rule5)) -> rule3)) -> rule1))] Erin is green.[(((triple6 triple5) -> rule3) OR ((triple6 ((triple7) -> rule5)) -> rule3))] Erin is smart.[(((triple7 triple8) -> rule6) OR ((triple7 ((triple5) -> rule4)) -> rule6) OR ((triple8 ((triple6 triple5) -> rule3)) -> rule1) OR ((((triple5) -> rule4) ((triple6 triple5) -> rule3)) -> rule1) OR ((triple7 ((((triple7) -> rule5)) -> rule4)) -> rule6) OR ((triple8 ((triple6 ((triple7) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 triple5) -> rule3)) -> rule2) triple8) -> rule6) OR ((((triple5) -> rule4) ((triple6 ((triple7) -> rule5)) -> rule3)) -> rule1) OR ((((((triple7) -> rule5)) -> rule4) ((triple6 triple5) -> rule3)) -> rule1) OR ((((((triple6 triple5) -> rule3)) -> rule2) ((triple5) -> rule4)) -> rule6) OR ((((((triple7) -> rule5)) -> rule4) ((triple6 ((triple7) -> rule5)) -> rule3)) -> rule1) OR ((((((triple6 triple5) -> rule3)) -> rule2) ((((triple7) -> rule5)) -> rule4)) -> rule6))] Fiona is green.[(((triple10 triple9) -> rule3) OR ((triple10 ((triple11) -> rule5)) -> rule3))] Fiona is smart.[(((triple11 triple13) -> rule6) OR ((triple11 ((triple9) -> rule4)) -> rule6) OR ((triple13 ((triple10 triple9) -> rule3)) -> rule1) OR ((((triple9) -> rule4) ((triple10 triple9) -> rule3)) -> rule1) OR ((triple11 ((((triple11) -> rule5)) -> rule4)) -> rule6) OR ((triple13 ((triple10 ((triple11) -> rule5)) -> rule3)) -> rule1) OR ((((((triple10 triple9) -> rule3)) -> rule2) triple13) -> rule6) OR ((((triple9) -> rule4) ((triple10 ((triple11) -> rule5)) -> rule3)) -> rule1) OR ((((((triple11) -> rule5)) -> rule4) ((triple10 triple9) -> rule3)) -> rule1) OR ((((((triple10 triple9) -> rule3)) -> rule2) ((triple9) -> rule4)) -> rule6) OR ((((((triple11) -> rule5)) -> rule4) ((triple10 ((triple11) -> rule5)) -> rule3)) -> rule1) OR ((((((triple10 triple9) -> rule3)) -> rule2) ((((triple11) -> rule5)) -> rule4)) -> rule6))] Harry is nice.[(((triple14) -> rule2))] Harry is smart.[(((triple16 triple14) -> rule1) OR ((((triple14) -> rule2) triple16) -> rule6) OR ((((((((triple14) -> rule2)) -> rule5)) -> rule4) triple14) -> rule1) OR ((((triple14) -> rule2) ((((((triple14) -> rule2)) -> rule5)) -> rule4)) -> rule6))] @2: Harry is big.[(((((triple14) -> rule2)) -> rule5))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
((triple1 ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
((triple2) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
triple5
((triple7) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
((((triple6 triple5) -> (rule3 % int2))) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple8
((triple5) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple7) -> (rule5 % int2))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
triple9
((triple11) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
((((triple10 triple9) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
((triple9) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple11) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Harry is rough.
("Harry" "is" "rough" "+")
triple16
((((((triple14) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
((triple3) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple3 triple4) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple4 triple2) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple2) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((triple3 ((((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple4 ((triple1 ((triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple3) -> (rule5 % int3))) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple2) -> (rule2 % int4)) ((((triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule5 % int4))) -> (rule4 % int3)) ((triple1 ((triple3) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((triple3 ((((((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((triple2) -> (rule2 % int4)) ((((((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((((triple2) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) ((triple1 ((triple3) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
((triple6 triple5) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple6 ((triple7) -> (rule5 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((triple7 triple8) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple7 ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((triple8 ((triple6 triple5) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple6 triple5) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((triple7 ((((triple7) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple8 ((triple6 ((triple7) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple6 triple5) -> (rule3 % int3))) -> (rule2 % int2)) triple8) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple5) -> (rule4 % int4)) ((triple6 ((triple7) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple7) -> (rule5 % int4))) -> (rule4 % int3)) ((triple6 triple5) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple6 triple5) -> (rule3 % int4))) -> (rule2 % int3)) ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple7) -> (rule5 % int4))) -> (rule4 % int3)) ((triple6 ((triple7) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple6 triple5) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple7) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
((triple10 triple9) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple10 ((triple11) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple11 triple13) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple11 ((triple9) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple13 ((triple10 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple9) -> (rule4 % int3)) ((triple10 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((triple11 ((((triple11) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((triple13 ((triple10 ((triple11) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple10 triple9) -> (rule3 % int3))) -> (rule2 % int2)) triple13) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((triple9) -> (rule4 % int4)) ((triple10 ((triple11) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple11) -> (rule5 % int4))) -> (rule4 % int3)) ((triple10 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple10 triple9) -> (rule3 % int4))) -> (rule2 % int3)) ((triple9) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple11) -> (rule5 % int4))) -> (rule4 % int3)) ((triple10 ((triple11) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple10 triple9) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple11) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
((triple14) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple16 triple14) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple14) -> (rule2 % int2)) triple16) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((((((triple14) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple14) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple14) -> (rule2 % int4)) ((((((triple14) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
((((triple14) -> (rule2 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2