Anne is cold. Bob is cold. Bob is rough. Cold people are rough. All rough people are blue. If someone is blue and rough then they are nice. If Anne is rough and Anne is not blue then Anne is not big. If Bob is blue and Bob is smart then Bob is not big. Nice, blue people are smart. All big, blue people are not smart. If someone is kind and not rough then they are not smart.
Anne is cold.
("Anne" "is" "cold" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
All rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If Anne is rough and Anne is not blue then Anne is not big.
((("Anne" "is" "rough" "+") ("Anne" "is" "blue" "~")) -> ("Anne" "is" "big" "-"))
If Bob is blue and Bob is smart then Bob is not big.
((("Bob" "is" "blue" "+") ("Bob" "is" "smart" "+")) -> ("Bob" "is" "big" "-"))
Nice, blue people are smart.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
All big, blue people are not smart.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "-"))
If someone is kind and not rough then they are not smart.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "smart" "-"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Bob is not rough.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule1))]
("Bob" "is" "rough" "-")
triple3
((triple2) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
True
2
proof
[(((triple3) -> rule2) OR ((((triple2) -> rule1)) -> rule2))]
("Bob" "is" "blue" "+")
((triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not blue.
False
2
inv-proof
[(((triple3) -> rule2) OR ((((triple2) -> rule1)) -> rule2))]
("Bob" "is" "blue" "-")
((triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Anne is blue.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("Anne" "is" "blue" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Bob is not nice.
False
4
inv-proof
[(((((triple3) -> rule2) triple3) -> rule3) OR ((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) OR ((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3))]
("Bob" "is" "nice" "-")
((((triple3) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple3) -> (rule2 % int3)) ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int3))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
True
7
proof
[(((((((triple3) -> rule2) triple3) -> rule3) ((triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule2) triple3) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) ((triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) ((triple3) -> rule2)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3) ((triple3) -> rule2)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6))]
("Bob" "is" "smart" "+")
((((((triple3) -> (rule2 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule2 % int3))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple3) -> (rule2 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule1 % int2))) -> (rule2 % int4))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple3) -> (rule2 % int4)) ((triple2) -> (rule1 % int3))) -> (rule3 % int2)) ((triple3) -> (rule2 % int4))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple3) -> (rule2 % int4)) ((triple2) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple2) -> (rule1 % int3))) -> (rule2 % int4))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((((triple2) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule2 % int3))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple2) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule3 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple2) -> (rule1 % int4))) -> (rule2 % int3)) ((triple2) -> (rule1 % int4))) -> (rule3 % int2)) ((triple3) -> (rule2 % int3))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple2) -> (rule1 % int4))) -> (rule2 % int3)) ((triple2) -> (rule1 % int4))) -> (rule3 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Anne is not nice.
False
6
inv-proof
[(((((((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule3))]
("Anne" "is" "nice" "-")
((((((triple1) -> (rule1 % int3))) -> (rule2 % int2)) ((triple1) -> (rule1 % int3))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is cold.[(triple1)] Bob is cold.[(triple2)] Bob is rough.[(triple3 OR ((triple2) -> rule1))] @1: Anne is rough.[(((triple1) -> rule1))] Bob is blue.[(((triple3) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] @2: Anne is blue.[(((((triple1) -> rule1)) -> rule2))] Bob is nice.[(((((triple3) -> rule2) triple3) -> rule3) OR ((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) OR ((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3))] @3: Anne is nice.[(((((((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule3))] Bob is smart.[(((((((triple3) -> rule2) triple3) -> rule3) ((triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule2) triple3) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) ((triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) ((triple3) -> rule2)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3) ((triple3) -> rule2)) -> rule6) OR ((((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6))] @4: Anne is smart.[(((((((((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule3) ((((triple1) -> rule1)) -> rule2)) -> rule6))] Bob is not big.[(((((triple3) -> rule2) ((((((triple3) -> rule2) triple3) -> rule3) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((triple3) -> rule2) ((((((triple3) -> rule2) triple3) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((triple3) -> rule2) ((((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2) ((((((triple3) -> rule2) triple3) -> rule3) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((triple3) -> rule2) ((((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2) ((((((triple3) -> rule2) triple3) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2) ((((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2) ((((((triple3) -> rule2) ((triple2) -> rule1)) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((triple3) -> rule2) ((((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((triple3) -> rule2) ((((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((triple3) -> rule2) ((((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2) ((((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((triple3) -> rule2) ((((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2) ((((((((triple2) -> rule1)) -> rule2) triple3) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2) ((((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2) ((((((((triple2) -> rule1)) -> rule2) ((triple2) -> rule1)) -> rule3) ((((triple2) -> rule1)) -> rule2)) -> rule6)) -> rule5))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
((triple2) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple3) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple3) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple3) -> (rule2 % int3)) ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule2 % int2)) ((triple2) -> (rule1 % int3))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
((((((triple1) -> (rule1 % int3))) -> (rule2 % int2)) ((triple1) -> (rule1 % int3))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
((((((triple3) -> (rule2 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule2 % int3))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple3) -> (rule2 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule1 % int2))) -> (rule2 % int4))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple3) -> (rule2 % int4)) ((triple2) -> (rule1 % int3))) -> (rule3 % int2)) ((triple3) -> (rule2 % int4))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple3) -> (rule2 % int4)) ((triple2) -> (rule1 % int3))) -> (rule3 % int2)) ((((triple2) -> (rule1 % int3))) -> (rule2 % int4))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((((triple2) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule3 % int2)) ((triple3) -> (rule2 % int3))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple2) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule3 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple2) -> (rule1 % int4))) -> (rule2 % int3)) ((triple2) -> (rule1 % int4))) -> (rule3 % int2)) ((triple3) -> (rule2 % int3))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple2) -> (rule1 % int4))) -> (rule2 % int3)) ((triple2) -> (rule1 % int4))) -> (rule3 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
((((((((triple1) -> (rule1 % int4))) -> (rule2 % int3)) ((triple1) -> (rule1 % int4))) -> (rule3 % int2)) ((((triple1) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Bob is not big.
("Bob" "is" "big" "-")
((((triple3) -> (rule2 % int4)) ((((((triple3) -> (rule2 % int4)) triple3) -> (rule3 % int3)) ((triple3) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((triple3) -> (rule2 % int5)) ((((((triple3) -> (rule2 % int5)) triple3) -> (rule3 % int4)) ((((triple2) -> (rule1 % int3))) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3) -> (rule2 % int5)) ((((((triple3) -> (rule2 % int5)) ((triple2) -> (rule1 % int4))) -> (rule3 % int3)) ((triple3) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((triple2) -> (rule1 % int5))) -> (rule2 % int4)) ((((((triple3) -> (rule2 % int4)) triple3) -> (rule3 % int3)) ((triple3) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3) -> (rule2 % int5)) ((((((triple3) -> (rule2 % int5)) ((triple2) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((triple2) -> (rule1 % int5))) -> (rule2 % int4)) ((((((triple3) -> (rule2 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5))) -> (rule2 % int4)) ((((((triple3) -> (rule2 % int4)) ((triple2) -> (rule1 % int5))) -> (rule3 % int3)) ((triple3) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5))) -> (rule2 % int4)) ((((((triple3) -> (rule2 % int4)) ((triple2) -> (rule1 % int5))) -> (rule3 % int3)) ((((triple2) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3) -> (rule2 % int5)) ((((((((triple2) -> (rule1 % int4))) -> (rule2 % int5)) triple3) -> (rule3 % int3)) ((triple3) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3) -> (rule2 % int5)) ((((((((triple2) -> (rule1 % int4))) -> (rule2 % int5)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple3) -> (rule2 % int5)) ((((((((triple2) -> (rule1 % int4))) -> (rule2 % int5)) ((triple2) -> (rule1 % int4))) -> (rule3 % int3)) ((triple3) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((triple2) -> (rule1 % int5))) -> (rule2 % int4)) ((((((((triple2) -> (rule1 % int5))) -> (rule2 % int4)) triple3) -> (rule3 % int3)) ((triple3) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3) -> (rule2 % int5)) ((((((((triple2) -> (rule1 % int4))) -> (rule2 % int5)) ((triple2) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule1 % int4))) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((triple2) -> (rule1 % int5))) -> (rule2 % int4)) ((((((((triple2) -> (rule1 % int5))) -> (rule2 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5))) -> (rule2 % int4)) ((((((((triple2) -> (rule1 % int5))) -> (rule2 % int4)) ((triple2) -> (rule1 % int5))) -> (rule3 % int3)) ((triple3) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5))) -> (rule2 % int4)) ((((((((triple2) -> (rule1 % int5))) -> (rule2 % int4)) ((triple2) -> (rule1 % int5))) -> (rule3 % int3)) ((((triple2) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is not big.
("Bob" "is" "big" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5