Anne is quiet. Bob is quiet. Bob is round. Charlie is nice. Charlie is quiet. Erin is red. Erin is round. All quiet people are young. Round people are young. Kind, young people are blue. Nice, quiet people are kind. All round people are nice. All red people are kind. If someone is quiet then they are red. Round, nice people are blue. All red, blue people are round.
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
All quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
Round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Kind, young people are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Nice, quiet people are kind.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
All round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
All red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is quiet then they are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
Round, nice people are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
All red, blue people are round.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Anne is quiet.
True
1
proof
[(triple1)]
("Anne" "is" "quiet" "+")
triple1
Bob is not round.
False
1
inv-proof
[(triple3 OR ((((triple2) -> rule7) ((((((triple2) -> rule7)) -> rule6) ((triple2) -> rule1)) -> rule3)) -> rule9))]
("Bob" "is" "round" "-")
triple3
((((triple2) -> (rule7 % int5)) ((((((triple2) -> (rule7 % int5))) -> (rule6 % int4)) ((triple2) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Anne is young.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "young" "+")
((triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "young" "-")
((triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Erin is blue.
True
4
proof
[(((triple7 ((triple7) -> rule5)) -> rule8) OR ((((triple6) -> rule6) ((triple7) -> rule2)) -> rule3))]
("Erin" "is" "blue" "+")
((triple7 ((triple7) -> (rule5 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple6) -> (rule6 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Charlie is not blue.
False
6
inv-proof
[(((((triple4 triple5) -> rule4) ((triple5) -> rule1)) -> rule3) OR ((((((triple5) -> rule7)) -> rule6) ((triple5) -> rule1)) -> rule3))]
("Charlie" "is" "blue" "-")
((((triple4 triple5) -> (rule4 % int3)) ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple5) -> (rule7 % int4))) -> (rule6 % int3)) ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is round.
True
9
proof
[(((((triple5) -> rule7) ((((triple4 triple5) -> rule4) ((triple5) -> rule1)) -> rule3)) -> rule9) OR ((((triple5) -> rule7) ((((((triple5) -> rule7)) -> rule6) ((triple5) -> rule1)) -> rule3)) -> rule9))]
("Charlie" "is" "round" "+")
((((triple5) -> (rule7 % int5)) ((((triple4 triple5) -> (rule4 % int4)) ((triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((triple5) -> (rule7 % int5)) ((((((triple5) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is not round.
False
9
inv-proof
[(((((triple5) -> rule7) ((((triple4 triple5) -> rule4) ((triple5) -> rule1)) -> rule3)) -> rule9) OR ((((triple5) -> rule7) ((((((triple5) -> rule7)) -> rule6) ((triple5) -> rule1)) -> rule3)) -> rule9))]
("Charlie" "is" "round" "-")
((((triple5) -> (rule7 % int5)) ((((triple4 triple5) -> (rule4 % int4)) ((triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((triple5) -> (rule7 % int5)) ((((((triple5) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Anne is round.
True
9
proof
[(((((triple1) -> rule7) ((((((triple1) -> rule7)) -> rule6) ((triple1) -> rule1)) -> rule3)) -> rule9))]
("Anne" "is" "round" "+")
((((triple1) -> (rule7 % int5)) ((((((triple1) -> (rule7 % int5))) -> (rule6 % int4)) ((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is not round.
False
9
inv-proof
[(((((triple1) -> rule7) ((((((triple1) -> rule7)) -> rule6) ((triple1) -> rule1)) -> rule3)) -> rule9))]
("Anne" "is" "round" "-")
((((triple1) -> (rule7 % int5)) ((((((triple1) -> (rule7 % int5))) -> (rule6 % int4)) ((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is nice.
True
10
proof
[(((((((triple1) -> rule7) ((((((triple1) -> rule7)) -> rule6) ((triple1) -> rule1)) -> rule3)) -> rule9)) -> rule5))]
("Anne" "is" "nice" "+")
((((((triple1) -> (rule7 % int6)) ((((((triple1) -> (rule7 % int6))) -> (rule6 % int5)) ((triple1) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
int6
Anne is not nice.
False
10
inv-proof
[(((((((triple1) -> rule7) ((((((triple1) -> rule7)) -> rule6) ((triple1) -> rule1)) -> rule3)) -> rule9)) -> rule5))]
("Anne" "is" "nice" "-")
((((((triple1) -> (rule7 % int6)) ((((((triple1) -> (rule7 % int6))) -> (rule6 % int5)) ((triple1) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
int6
@0: Anne is quiet.[(triple1)] Bob is quiet.[(triple2)] Bob is round.[(triple3 OR ((((triple2) -> rule7) ((((((triple2) -> rule7)) -> rule6) ((triple2) -> rule1)) -> rule3)) -> rule9))] Charlie is nice.[(triple4 OR ((((((triple5) -> rule7) ((((((triple5) -> rule7)) -> rule6) ((triple5) -> rule1)) -> rule3)) -> rule9)) -> rule5))] Charlie is quiet.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7)] @1: Anne is red.[(((triple1) -> rule7))] Anne is young.[(((triple1) -> rule1))] Bob is nice.[(((triple3) -> rule5) OR ((((((triple2) -> rule7) ((((((triple2) -> rule7)) -> rule6) ((triple2) -> rule1)) -> rule3)) -> rule9)) -> rule5))] Bob is red.[(((triple2) -> rule7))] Bob is young.[(((triple2) -> rule1) OR ((triple3) -> rule2))] Charlie is kind.[(((triple4 triple5) -> rule4) OR ((((triple5) -> rule7)) -> rule6))] Charlie is red.[(((triple5) -> rule7))] Charlie is young.[(((triple5) -> rule1))] Erin is kind.[(((triple6) -> rule6))] Erin is nice.[(((triple7) -> rule5))] Erin is young.[(((triple7) -> rule2))] @2: Anne is kind.[(((((triple1) -> rule7)) -> rule6))] Bob is blue.[(((triple3 ((triple3) -> rule5)) -> rule8) OR ((((((triple2) -> rule7)) -> rule6) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule7)) -> rule6) ((triple3) -> rule2)) -> rule3) OR ((((((triple3) -> rule5) triple2) -> rule4) ((triple2) -> rule1)) -> rule3) OR ((((((triple3) -> rule5) triple2) -> rule4) ((triple3) -> rule2)) -> rule3))] Bob is kind.[(((((triple2) -> rule7)) -> rule6) OR ((((triple3) -> rule5) triple2) -> rule4))] Charlie is blue.[(((((triple4 triple5) -> rule4) ((triple5) -> rule1)) -> rule3) OR ((((((triple5) -> rule7)) -> rule6) ((triple5) -> rule1)) -> rule3))] Erin is blue.[(((triple7 ((triple7) -> rule5)) -> rule8) OR ((((triple6) -> rule6) ((triple7) -> rule2)) -> rule3))] @3: Anne is blue.[(((((((triple1) -> rule7)) -> rule6) ((triple1) -> rule1)) -> rule3))] Charlie is round.[(((((triple5) -> rule7) ((((triple4 triple5) -> rule4) ((triple5) -> rule1)) -> rule3)) -> rule9) OR ((((triple5) -> rule7) ((((((triple5) -> rule7)) -> rule6) ((triple5) -> rule1)) -> rule3)) -> rule9))] @4: Anne is round.[(((((triple1) -> rule7) ((((((triple1) -> rule7)) -> rule6) ((triple1) -> rule1)) -> rule3)) -> rule9))] @5: Anne is nice.[(((((((triple1) -> rule7) ((((((triple1) -> rule7)) -> rule6) ((triple1) -> rule1)) -> rule3)) -> rule9)) -> rule5))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
((((triple2) -> (rule7 % int5)) ((((((triple2) -> (rule7 % int5))) -> (rule6 % int4)) ((triple2) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
((((((triple5) -> (rule7 % int6)) ((((((triple5) -> (rule7 % int6))) -> (rule6 % int5)) ((triple5) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
int6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple3) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((((triple2) -> (rule7 % int6)) ((((((triple2) -> (rule7 % int6))) -> (rule6 % int5)) ((triple2) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
Bob is red.
("Bob" "is" "red" "+")
((triple2) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple2) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple3) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4 triple5) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple5) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((triple5) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple5) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple6) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple7) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple7) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((((triple1) -> (rule7 % int2))) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple3 ((triple3) -> (rule5 % int2))) -> (rule8 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((((triple2) -> (rule7 % int4))) -> (rule6 % int3)) ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple2) -> (rule7 % int4))) -> (rule6 % int3)) ((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple3) -> (rule5 % int4)) triple2) -> (rule4 % int3)) ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple3) -> (rule5 % int4)) triple2) -> (rule4 % int3)) ((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
((((triple2) -> (rule7 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple3) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple4 triple5) -> (rule4 % int3)) ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple5) -> (rule7 % int4))) -> (rule6 % int3)) ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
((triple7 ((triple7) -> (rule5 % int2))) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple6) -> (rule6 % int3)) ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
((((((triple1) -> (rule7 % int4))) -> (rule6 % int3)) ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
((((triple5) -> (rule7 % int5)) ((((triple4 triple5) -> (rule4 % int4)) ((triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((triple5) -> (rule7 % int5)) ((((((triple5) -> (rule7 % int5))) -> (rule6 % int4)) ((triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Anne is round.
("Anne" "is" "round" "+")
((((triple1) -> (rule7 % int5)) ((((((triple1) -> (rule7 % int5))) -> (rule6 % int4)) ((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
((((((triple1) -> (rule7 % int6)) ((((((triple1) -> (rule7 % int6))) -> (rule6 % int5)) ((triple1) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
int6