Dave is big. Dave is green. Dave is kind. Dave is quiet. Fiona is big. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Gary is quiet. Gary is rough. Harry is big. Harry is rough. Harry is smart. If someone is kind and not rough then they are big. Smart, rough people are big. All quiet people are red. Green people are red. If someone is kind and big then they are green. Big people are kind. If someone is red then they are smart.
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is kind and not rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "big" "+"))
Smart, rough people are big.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
All quiet people are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
Green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and big then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is red then they are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
Fiona is quiet.
True
1
proof
[(triple7)]
("Fiona" "is" "quiet" "+")
triple7
Fiona is not red.
False
1
inv-proof
[(triple8 OR ((triple7) -> rule3) OR ((((triple6 triple5) -> rule5)) -> rule4) OR ((((((triple5) -> rule6) triple5) -> rule5)) -> rule4))]
("Fiona" "is" "red" "-")
triple8
((triple7) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple6 triple5) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple5) -> (rule6 % int3)) triple5) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Dave is red.
True
2
proof
[(((triple2) -> rule4) OR ((triple4) -> rule3) OR ((((triple3 triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule6) triple1) -> rule5)) -> rule4))]
("Dave" "is" "red" "+")
((triple2) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple4) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple3 triple1) -> (rule5 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((((triple1) -> (rule6 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Gary is not red.
False
2
inv-proof
[(((triple10) -> rule3))]
("Gary" "is" "red" "-")
((triple10) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Dave is smart.
True
3
proof
[(((((triple2) -> rule4)) -> rule7) OR ((((triple4) -> rule3)) -> rule7) OR ((((((triple3 triple1) -> rule5)) -> rule4)) -> rule7) OR ((((((((triple1) -> rule6) triple1) -> rule5)) -> rule4)) -> rule7))]
("Dave" "is" "smart" "+")
((((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple4) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((((triple3 triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((((triple1) -> (rule6 % int4)) triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Harry is not green.
False
4
inv-proof
[(((((triple12) -> rule6) triple12) -> rule5) OR ((((triple12) -> rule6) ((triple14 triple13) -> rule2)) -> rule5) OR ((((((triple14 triple13) -> rule2)) -> rule6) triple12) -> rule5) OR ((((((triple14 triple13) -> rule2)) -> rule6) ((triple14 triple13) -> rule2)) -> rule5))]
("Harry" "is" "green" "-")
((((triple12) -> (rule6 % int2)) triple12) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple12) -> (rule6 % int3)) ((triple14 triple13) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple14 triple13) -> (rule2 % int3))) -> (rule6 % int2)) triple12) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple14 triple13) -> (rule2 % int3))) -> (rule6 % int2)) ((triple14 triple13) -> (rule2 % int3))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Gary is big.
True
5
proof
[(((((((triple10) -> rule3)) -> rule7) triple11) -> rule2))]
("Gary" "is" "big" "+")
((((((triple10) -> (rule3 % int3))) -> (rule7 % int2)) triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not big.
False
5
inv-proof
[(((((((triple10) -> rule3)) -> rule7) triple11) -> rule2))]
("Gary" "is" "big" "-")
((((((triple10) -> (rule3 % int3))) -> (rule7 % int2)) triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is kind.
True
6
proof
[(((((((((triple10) -> rule3)) -> rule7) triple11) -> rule2)) -> rule6))]
("Gary" "is" "kind" "+")
((((((((triple10) -> (rule3 % int4))) -> (rule7 % int3)) triple11) -> (rule2 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is not kind.
False
6
inv-proof
[(((((((((triple10) -> rule3)) -> rule7) triple11) -> rule2)) -> rule6))]
("Gary" "is" "kind" "-")
((((((((triple10) -> (rule3 % int4))) -> (rule7 % int3)) triple11) -> (rule2 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
True
12
proof
[(((((((((((triple10) -> rule3)) -> rule7) triple11) -> rule2)) -> rule6) ((((((triple10) -> rule3)) -> rule7) triple11) -> rule2)) -> rule5))]
("Gary" "is" "green" "+")
((((((((((triple10) -> (rule3 % int5))) -> (rule7 % int4)) triple11) -> (rule2 % int3))) -> (rule6 % int2)) ((((((triple10) -> (rule3 % int5))) -> (rule7 % int4)) triple11) -> (rule2 % int3))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is not green.
False
12
inv-proof
[(((((((((((triple10) -> rule3)) -> rule7) triple11) -> rule2)) -> rule6) ((((((triple10) -> rule3)) -> rule7) triple11) -> rule2)) -> rule5))]
("Gary" "is" "green" "-")
((((((((((triple10) -> (rule3 % int5))) -> (rule7 % int4)) triple11) -> (rule2 % int3))) -> (rule6 % int2)) ((((((triple10) -> (rule3 % int5))) -> (rule7 % int4)) triple11) -> (rule2 % int3))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Dave is big.[(triple1)] Dave is green.[(triple2 OR ((triple3 triple1) -> rule5) OR ((((triple1) -> rule6) triple1) -> rule5))] Dave is kind.[(triple3 OR ((triple1) -> rule6))] Dave is quiet.[(triple4)] Fiona is big.[(triple5 OR ((((triple8) -> rule7) triple9) -> rule2) OR ((((((triple7) -> rule3)) -> rule7) triple9) -> rule2))] Fiona is kind.[(triple6 OR ((triple5) -> rule6) OR ((((((triple8) -> rule7) triple9) -> rule2)) -> rule6) OR ((((((((triple7) -> rule3)) -> rule7) triple9) -> rule2)) -> rule6))] Fiona is quiet.[(triple7)] Fiona is red.[(triple8 OR ((triple7) -> rule3) OR ((((triple6 triple5) -> rule5)) -> rule4) OR ((((((triple5) -> rule6) triple5) -> rule5)) -> rule4))] Fiona is rough.[(triple9)] Gary is quiet.[(triple10)] Gary is rough.[(triple11)] Harry is big.[(triple12 OR ((triple14 triple13) -> rule2))] Harry is rough.[(triple13)] Harry is smart.[(triple14 OR ((((((((triple12) -> rule6) triple12) -> rule5)) -> rule4)) -> rule7))] @1: Dave is red.[(((triple2) -> rule4) OR ((triple4) -> rule3) OR ((((triple3 triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule6) triple1) -> rule5)) -> rule4))] Fiona is green.[(((triple6 triple5) -> rule5) OR ((((triple5) -> rule6) triple5) -> rule5) OR ((triple6 ((((triple8) -> rule7) triple9) -> rule2)) -> rule5) OR ((((triple5) -> rule6) ((((triple8) -> rule7) triple9) -> rule2)) -> rule5) OR ((triple6 ((((((triple7) -> rule3)) -> rule7) triple9) -> rule2)) -> rule5) OR ((((((((triple8) -> rule7) triple9) -> rule2)) -> rule6) triple5) -> rule5) OR ((((triple5) -> rule6) ((((((triple7) -> rule3)) -> rule7) triple9) -> rule2)) -> rule5) OR ((((((((triple8) -> rule7) triple9) -> rule2)) -> rule6) ((((triple8) -> rule7) triple9) -> rule2)) -> rule5) OR ((((((((triple8) -> rule7) triple9) -> rule2)) -> rule6) ((((((triple7) -> rule3)) -> rule7) triple9) -> rule2)) -> rule5) OR ((((((((((triple7) -> rule3)) -> rule7) triple9) -> rule2)) -> rule6) triple5) -> rule5) OR ((((((((((triple7) -> rule3)) -> rule7) triple9) -> rule2)) -> rule6) ((((triple8) -> rule7) triple9) -> rule2)) -> rule5) OR ((((((((((triple7) -> rule3)) -> rule7) triple9) -> rule2)) -> rule6) ((((((triple7) -> rule3)) -> rule7) triple9) -> rule2)) -> rule5))] Fiona is smart.[(((triple8) -> rule7) OR ((((triple7) -> rule3)) -> rule7) OR ((((((triple6 triple5) -> rule5)) -> rule4)) -> rule7) OR ((((((((triple5) -> rule6) triple5) -> rule5)) -> rule4)) -> rule7))] Gary is red.[(((triple10) -> rule3))] Harry is kind.[(((triple12) -> rule6) OR ((((triple14 triple13) -> rule2)) -> rule6))] @2: Dave is smart.[(((((triple2) -> rule4)) -> rule7) OR ((((triple4) -> rule3)) -> rule7) OR ((((((triple3 triple1) -> rule5)) -> rule4)) -> rule7) OR ((((((((triple1) -> rule6) triple1) -> rule5)) -> rule4)) -> rule7))] Gary is smart.[(((((triple10) -> rule3)) -> rule7))] Harry is green.[(((((triple12) -> rule6) triple12) -> rule5) OR ((((triple12) -> rule6) ((triple14 triple13) -> rule2)) -> rule5) OR ((((((triple14 triple13) -> rule2)) -> rule6) triple12) -> rule5) OR ((((((triple14 triple13) -> rule2)) -> rule6) ((triple14 triple13) -> rule2)) -> rule5))] @3: Gary is big.[(((((((triple10) -> rule3)) -> rule7) triple11) -> rule2))] Harry is red.[(((((((triple12) -> rule6) triple12) -> rule5)) -> rule4) OR ((((((triple12) -> rule6) ((triple14 triple13) -> rule2)) -> rule5)) -> rule4) OR ((((((((triple14 triple13) -> rule2)) -> rule6) triple12) -> rule5)) -> rule4) OR ((((((((triple14 triple13) -> rule2)) -> rule6) ((triple14 triple13) -> rule2)) -> rule5)) -> rule4))] @4: Gary is kind.[(((((((((triple10) -> rule3)) -> rule7) triple11) -> rule2)) -> rule6))] @5: Gary is green.[(((((((((((triple10) -> rule3)) -> rule7) triple11) -> rule2)) -> rule6) ((((((triple10) -> rule3)) -> rule7) triple11) -> rule2)) -> rule5))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
((triple3 triple1) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple1) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
((triple1) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
((((triple8) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((((triple7) -> (rule3 % int3))) -> (rule7 % int2)) triple9) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
((triple5) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((((triple8) -> (rule7 % int3)) triple9) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((((triple7) -> (rule3 % int4))) -> (rule7 % int3)) triple9) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
((triple7) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple6 triple5) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple5) -> (rule6 % int3)) triple5) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Harry is big.
("Harry" "is" "big" "+")
triple12
((triple14 triple13) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
((((((((triple12) -> (rule6 % int4)) triple12) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
((triple2) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple4) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple3 triple1) -> (rule5 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((((triple1) -> (rule6 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
((triple6 triple5) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple5) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple6 ((((triple8) -> (rule7 % int3)) triple9) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((triple5) -> (rule6 % int4)) ((((triple8) -> (rule7 % int3)) triple9) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((triple6 ((((((triple7) -> (rule3 % int4))) -> (rule7 % int3)) triple9) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple8) -> (rule7 % int4)) triple9) -> (rule2 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((triple5) -> (rule6 % int5)) ((((((triple7) -> (rule3 % int4))) -> (rule7 % int3)) triple9) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((((triple8) -> (rule7 % int4)) triple9) -> (rule2 % int3))) -> (rule6 % int2)) ((((triple8) -> (rule7 % int4)) triple9) -> (rule2 % int3))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple8) -> (rule7 % int5)) triple9) -> (rule2 % int4))) -> (rule6 % int3)) ((((((triple7) -> (rule3 % int2))) -> (rule7 % int5)) triple9) -> (rule2 % int4))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((((triple7) -> (rule3 % int5))) -> (rule7 % int4)) triple9) -> (rule2 % int3))) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((((((triple7) -> (rule3 % int5))) -> (rule7 % int4)) triple9) -> (rule2 % int3))) -> (rule6 % int2)) ((((triple8) -> (rule7 % int4)) triple9) -> (rule2 % int3))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((((((triple7) -> (rule3 % int5))) -> (rule7 % int4)) triple9) -> (rule2 % int3))) -> (rule6 % int2)) ((((((triple7) -> (rule3 % int5))) -> (rule7 % int4)) triple9) -> (rule2 % int3))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple8) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((((triple6 triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((((triple5) -> (rule6 % int4)) triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
((triple10) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple12) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple14 triple13) -> (rule2 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
((((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple4) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((((triple3 triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((((((triple1) -> (rule6 % int4)) triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
((((triple10) -> (rule3 % int2))) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((triple12) -> (rule6 % int2)) triple12) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple12) -> (rule6 % int3)) ((triple14 triple13) -> (rule2 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple14 triple13) -> (rule2 % int3))) -> (rule6 % int2)) triple12) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple14 triple13) -> (rule2 % int3))) -> (rule6 % int2)) ((triple14 triple13) -> (rule2 % int3))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
((((((triple10) -> (rule3 % int3))) -> (rule7 % int2)) triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((((((triple12) -> (rule6 % int3)) triple12) -> (rule5 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple12) -> (rule6 % int4)) ((triple14 triple13) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((((triple14 triple13) -> (rule2 % int4))) -> (rule6 % int3)) triple12) -> (rule5 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple14 triple13) -> (rule2 % int4))) -> (rule6 % int3)) ((triple14 triple13) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
((((((((triple10) -> (rule3 % int4))) -> (rule7 % int3)) triple11) -> (rule2 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
((((((((((triple10) -> (rule3 % int5))) -> (rule7 % int4)) triple11) -> (rule2 % int3))) -> (rule6 % int2)) ((((((triple10) -> (rule3 % int5))) -> (rule7 % int4)) triple11) -> (rule2 % int3))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5