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