Bob is big. Bob is green. Bob is kind. Bob is rough. Bob is white. Erin is big. Erin is kind. Erin is rough. Erin is smart. Erin is young. Fiona is big. Fiona is rough. Fiona is young. Harry is white. All smart, big things are rough. Kind, white things are big. All white things are green. All white, big things are kind. All white, green things are big. If something is green and white then it is young. If something is kind and white then it is smart.
Bob is big.
("Bob" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is white.
("Harry" "is" "white" "+")
All smart, big things are rough.
((("something" "is" "smart" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Kind, white things are big.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
All white things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
All white, big things are kind.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
All white, green things are big.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
If something is green and white then it is young.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If something is kind and white then it is smart.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
Bob is rough.
True
1
proof
[(triple4 OR ((((triple3 triple5) -> rule7) triple1) -> rule1) OR ((((triple3 triple5) -> rule7) ((triple3 triple5) -> rule2)) -> rule1) OR ((((triple3 triple5) -> rule7) ((triple5 triple2) -> rule5)) -> rule1) OR ((((((triple5 triple1) -> rule4) triple5) -> rule7) triple1) -> rule1) OR ((((triple3 triple5) -> rule7) ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule1) OR ((((((triple5 triple1) -> rule4) triple5) -> rule7) ((triple3 triple5) -> rule2)) -> rule1) OR ((((((triple5 triple1) -> rule4) triple5) -> rule7) ((triple5 triple2) -> rule5)) -> rule1) OR ((((((triple5 triple1) -> rule4) triple5) -> rule7) ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule1) OR ((((((triple5 ((triple5 triple2) -> rule5)) -> rule4) triple5) -> rule7) triple1) -> rule1) OR ((((((triple5 ((triple5 triple2) -> rule5)) -> rule4) triple5) -> rule7) ((triple3 triple5) -> rule2)) -> rule1) OR ((((((triple5 ((triple5 triple2) -> rule5)) -> rule4) triple5) -> rule7) ((triple5 triple2) -> rule5)) -> rule1) OR ((((((triple5 ((triple5 triple2) -> rule5)) -> rule4) triple5) -> rule7) ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule1) OR ((((((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule4) triple5) -> rule7) triple1) -> rule1) OR ((((((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule4) triple5) -> rule7) ((triple3 triple5) -> rule2)) -> rule1) OR ((((((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule4) triple5) -> rule7) ((triple5 triple2) -> rule5)) -> rule1) OR ((((((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule4) triple5) -> rule7) ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule1))]
("Bob" "is" "rough" "+")
triple4
((((triple3 triple5) -> (rule7 % int2)) triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3 triple5) -> (rule7 % int3)) ((triple3 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple3 triple5) -> (rule7 % int3)) ((triple5 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple5 triple1) -> (rule4 % int3)) triple5) -> (rule7 % int2)) triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 triple5) -> (rule7 % int4)) ((triple5 ((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple5 triple1) -> (rule4 % int4)) triple5) -> (rule7 % int3)) ((triple3 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple5 triple1) -> (rule4 % int4)) triple5) -> (rule7 % int3)) ((triple5 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple5 triple1) -> (rule4 % int5)) triple5) -> (rule7 % int4)) ((triple5 ((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple5 ((triple5 triple2) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule7 % int2)) triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple5 ((triple5 triple2) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule7 % int2)) ((triple3 triple5) -> (rule2 % int4))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple5 ((triple5 triple2) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule7 % int2)) ((triple5 triple2) -> (rule5 % int4))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple5 ((triple5 triple2) -> (rule5 % int5))) -> (rule4 % int4)) triple5) -> (rule7 % int3)) ((triple5 ((triple5) -> (rule3 % int2))) -> (rule5 % int5))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple5 ((triple5 ((triple5) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule7 % int2)) triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple5 ((triple5 ((triple5) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule7 % int2)) ((triple3 triple5) -> (rule2 % int4))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple5 ((triple5 ((triple5) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule7 % int2)) ((triple5 triple2) -> (rule5 % int4))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple5 ((triple5 ((triple5) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule7 % int2)) ((triple5 ((triple5) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Fiona is not big.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "big" "-")
triple11
Bob is smart.
True
3
proof
[(((triple3 triple5) -> rule7) OR ((((triple5 triple1) -> rule4) triple5) -> rule7) OR ((((triple5 ((triple5 triple2) -> rule5)) -> rule4) triple5) -> rule7) OR ((((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule4) triple5) -> rule7))]
("Bob" "is" "smart" "+")
((triple3 triple5) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple5 triple1) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple5 ((triple5 triple2) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((triple5 ((triple5 ((triple5) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is not smart.
False
3
inv-proof
[(((triple3 triple5) -> rule7) OR ((((triple5 triple1) -> rule4) triple5) -> rule7) OR ((((triple5 ((triple5 triple2) -> rule5)) -> rule4) triple5) -> rule7) OR ((((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule4) triple5) -> rule7))]
("Bob" "is" "smart" "-")
((triple3 triple5) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple5 triple1) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple5 ((triple5 triple2) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((triple5 ((triple5 ((triple5) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Harry is young.
True
4
proof
[(((((triple14) -> rule3) triple14) -> rule6))]
("Harry" "is" "young" "+")
((((triple14) -> (rule3 % int2)) triple14) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not big.
False
4
inv-proof
[(((triple14 ((triple14) -> rule3)) -> rule5))]
("Harry" "is" "big" "-")
((triple14 ((triple14) -> (rule3 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
True
6
proof
[(((triple14 ((triple14 ((triple14) -> rule3)) -> rule5)) -> rule4))]
("Harry" "is" "kind" "+")
((triple14 ((triple14 ((triple14) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not kind.
False
6
inv-proof
[(((triple14 ((triple14 ((triple14) -> rule3)) -> rule5)) -> rule4))]
("Harry" "is" "kind" "-")
((triple14 ((triple14 ((triple14) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is smart.
True
8
proof
[(((((triple14 ((triple14 ((triple14) -> rule3)) -> rule5)) -> rule4) triple14) -> rule7))]
("Harry" "is" "smart" "+")
((((triple14 ((triple14 ((triple14) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple14) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is not smart.
False
8
inv-proof
[(((((triple14 ((triple14 ((triple14) -> rule3)) -> rule5)) -> rule4) triple14) -> rule7))]
("Harry" "is" "smart" "-")
((((triple14 ((triple14 ((triple14) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple14) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
True
13
proof
[(((((((triple14 ((triple14 ((triple14) -> rule3)) -> rule5)) -> rule4) triple14) -> rule7) ((triple14 ((triple14) -> rule3)) -> rule5)) -> rule1))]
("Harry" "is" "rough" "+")
((((((triple14 ((triple14 ((triple14) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple14) -> (rule7 % int2)) ((triple14 ((triple14) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is not rough.
False
13
inv-proof
[(((((((triple14 ((triple14 ((triple14) -> rule3)) -> rule5)) -> rule4) triple14) -> rule7) ((triple14 ((triple14) -> rule3)) -> rule5)) -> rule1))]
("Harry" "is" "rough" "-")
((((((triple14 ((triple14 ((triple14) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple14) -> (rule7 % int2)) ((triple14 ((triple14) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "green" "-")
Erin is green.
Unknown
rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "green" "+")
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is kind.
Unknown
rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "kind" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Bob is big.[(triple1 OR ((triple3 triple5) -> rule2) OR ((triple5 triple2) -> rule5) OR ((triple5 ((triple5) -> rule3)) -> rule5))] Bob is green.[(triple2 OR ((triple5) -> rule3))] Bob is kind.[(triple3 OR ((triple5 triple1) -> rule4) OR ((triple5 ((triple5 triple2) -> rule5)) -> rule4) OR ((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule4))] Bob is rough.[(triple4 OR ((((triple3 triple5) -> rule7) triple1) -> rule1) OR ((((triple3 triple5) -> rule7) ((triple3 triple5) -> rule2)) -> rule1) OR ((((triple3 triple5) -> rule7) ((triple5 triple2) -> rule5)) -> rule1) OR ((((((triple5 triple1) -> rule4) triple5) -> rule7) triple1) -> rule1) OR ((((triple3 triple5) -> rule7) ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule1) OR ((((((triple5 triple1) -> rule4) triple5) -> rule7) ((triple3 triple5) -> rule2)) -> rule1) OR ((((((triple5 triple1) -> rule4) triple5) -> rule7) ((triple5 triple2) -> rule5)) -> rule1) OR ((((((triple5 triple1) -> rule4) triple5) -> rule7) ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule1) OR ((((((triple5 ((triple5 triple2) -> rule5)) -> rule4) triple5) -> rule7) triple1) -> rule1) OR ((((((triple5 ((triple5 triple2) -> rule5)) -> rule4) triple5) -> rule7) ((triple3 triple5) -> rule2)) -> rule1) OR ((((((triple5 ((triple5 triple2) -> rule5)) -> rule4) triple5) -> rule7) ((triple5 triple2) -> rule5)) -> rule1) OR ((((((triple5 ((triple5 triple2) -> rule5)) -> rule4) triple5) -> rule7) ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule1) OR ((((((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule4) triple5) -> rule7) triple1) -> rule1) OR ((((((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule4) triple5) -> rule7) ((triple3 triple5) -> rule2)) -> rule1) OR ((((((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule4) triple5) -> rule7) ((triple5 triple2) -> rule5)) -> rule1) OR ((((((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule4) triple5) -> rule7) ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule1))] Bob is white.[(triple5)] Erin is big.[(triple6)] Erin is kind.[(triple7)] Erin is rough.[(triple8 OR ((triple9 triple6) -> rule1))] Erin is smart.[(triple9)] Erin is young.[(triple10)] Fiona is big.[(triple11)] Fiona is rough.[(triple12)] Fiona is young.[(triple13)] Harry is white.[(triple14)] @1: Bob is smart.[(((triple3 triple5) -> rule7) OR ((((triple5 triple1) -> rule4) triple5) -> rule7) OR ((((triple5 ((triple5 triple2) -> rule5)) -> rule4) triple5) -> rule7) OR ((((triple5 ((triple5 ((triple5) -> rule3)) -> rule5)) -> rule4) triple5) -> rule7))] Bob is young.[(((triple2 triple5) -> rule6) OR ((((triple5) -> rule3) triple5) -> rule6))] Harry is green.[(((triple14) -> rule3))] @2: Harry is big.[(((triple14 ((triple14) -> rule3)) -> rule5))] Harry is young.[(((((triple14) -> rule3) triple14) -> rule6))] @3: Harry is kind.[(((triple14 ((triple14 ((triple14) -> rule3)) -> rule5)) -> rule4))] @4: Harry is smart.[(((((triple14 ((triple14 ((triple14) -> rule3)) -> rule5)) -> rule4) triple14) -> rule7))] @5: Harry is rough.[(((((((triple14 ((triple14 ((triple14) -> rule3)) -> rule5)) -> rule4) triple14) -> rule7) ((triple14 ((triple14) -> rule3)) -> rule5)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple3 triple5) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple5 triple2) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple5 ((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple5) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple5 triple1) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple5 ((triple5 triple2) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple5 ((triple5 ((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((((triple3 triple5) -> (rule7 % int2)) triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3 triple5) -> (rule7 % int3)) ((triple3 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple3 triple5) -> (rule7 % int3)) ((triple5 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple5 triple1) -> (rule4 % int3)) triple5) -> (rule7 % int2)) triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 triple5) -> (rule7 % int4)) ((triple5 ((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple5 triple1) -> (rule4 % int4)) triple5) -> (rule7 % int3)) ((triple3 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple5 triple1) -> (rule4 % int4)) triple5) -> (rule7 % int3)) ((triple5 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple5 triple1) -> (rule4 % int5)) triple5) -> (rule7 % int4)) ((triple5 ((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple5 ((triple5 triple2) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule7 % int2)) triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple5 ((triple5 triple2) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule7 % int2)) ((triple3 triple5) -> (rule2 % int4))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple5 ((triple5 triple2) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule7 % int2)) ((triple5 triple2) -> (rule5 % int4))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple5 ((triple5 triple2) -> (rule5 % int5))) -> (rule4 % int4)) triple5) -> (rule7 % int3)) ((triple5 ((triple5) -> (rule3 % int2))) -> (rule5 % int5))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple5 ((triple5 ((triple5) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule7 % int2)) triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple5 ((triple5 ((triple5) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule7 % int2)) ((triple3 triple5) -> (rule2 % int4))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple5 ((triple5 ((triple5) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule7 % int2)) ((triple5 triple2) -> (rule5 % int4))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple5 ((triple5 ((triple5) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule7 % int2)) ((triple5 ((triple5) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
((triple9 triple6) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Fiona is young.
("Fiona" "is" "young" "+")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple14
Bob is smart.
("Bob" "is" "smart" "+")
((triple3 triple5) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple5 triple1) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple5 ((triple5 triple2) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((triple5 ((triple5 ((triple5) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((triple2 triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple5) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((triple14) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple14 ((triple14) -> (rule3 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple14) -> (rule3 % int2)) triple14) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple14 ((triple14 ((triple14) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
((((triple14 ((triple14 ((triple14) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple14) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
((((((triple14 ((triple14 ((triple14) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple14) -> (rule7 % int2)) ((triple14 ((triple14) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5