Bob who is considered nice was feeling rather rough today. Charlie is big and round for being so young. He ate some spoiled food that has him feeling green. Harry is a young man is who big and round. He is very kind and never someone who is cold and blue. If a person is blue, rough, and green, then they are also big. Cold people,though green and red,tend to be rough. Pick someone blue, kind and big, and they are certain to be green as well. A downhearted blue person who is kind is round. A young round person who is green is also red. That young person is feeling cold because he is green to the situation making his body shape round. Anyone that's described as young, kind and blue can be said to be cold, too.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue and rough and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and green and red then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and kind and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is young and round and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is young and cold and green then they are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young and blue and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Harry is blue.
True
1
proof
[(triple11)]
("Harry" "is" "blue" "+")
triple11
Charlie is not big.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "big" "-")
triple6
Charlie is red.
True
4
proof
[(((triple3 triple4 triple5) -> rule5))]
("Charlie" "is" "red" "+")
((triple3 triple4 triple5) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Harry is not green.
False
4
inv-proof
[(((triple11 triple9 triple12) -> rule3))]
("Harry" "is" "green" "-")
((triple11 triple9 triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
True
7
proof
[(((triple7 triple8 ((triple11 triple9 triple12) -> rule3)) -> rule5) OR ((triple7 ((triple9 triple11) -> rule4) ((triple11 triple9 triple12) -> rule3)) -> rule5) OR ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5) OR ((triple7 ((triple7 ((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5))]
("Harry" "is" "red" "+")
((triple7 triple8 ((triple11 triple9 triple12) -> (rule3 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((triple7 ((triple9 triple11) -> (rule4 % int3)) ((triple11 triple9 triple12) -> (rule3 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule6 % int2)) ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((triple7 ((triple7 ((triple7 triple11 triple9) -> (rule7 % int4)) ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule6 % int2)) ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is not red.
False
7
inv-proof
[(((triple7 triple8 ((triple11 triple9 triple12) -> rule3)) -> rule5) OR ((triple7 ((triple9 triple11) -> rule4) ((triple11 triple9 triple12) -> rule3)) -> rule5) OR ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5) OR ((triple7 ((triple7 ((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5))]
("Harry" "is" "red" "-")
((triple7 triple8 ((triple11 triple9 triple12) -> (rule3 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((triple7 ((triple9 triple11) -> (rule4 % int3)) ((triple11 triple9 triple12) -> (rule3 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule6 % int2)) ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((triple7 ((triple7 ((triple7 triple11 triple9) -> (rule7 % int4)) ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule6 % int2)) ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is rough.
True
13
proof
[(((triple10 ((triple11 triple9 triple12) -> rule3) ((triple7 triple8 ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((triple10 ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple9 triple11) -> rule4) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3) ((triple7 triple8 ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple9 triple11) -> rule4) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((triple10 ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((triple10 ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple7 ((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple7 ((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2))]
("Harry" "is" "rough" "+")
((triple10 ((triple11 triple9 triple12) -> (rule3 % int3)) ((triple7 triple8 ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((triple10 ((triple11 triple9 triple12) -> (rule3 % int4)) ((triple7 ((triple9 triple11) -> (rule4 % int3)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple7 triple11 triple9) -> (rule7 % int4)) ((triple11 triple9 triple12) -> (rule3 % int3)) ((triple7 triple8 ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple7 triple11 triple9) -> (rule7 % int5)) ((triple11 triple9 triple12) -> (rule3 % int4)) ((triple7 ((triple9 triple11) -> (rule4 % int3)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((triple10 ((triple11 triple9 triple12) -> (rule3 % int4)) ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule6 % int3)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple10 ((triple11 triple9 triple12) -> (rule3 % int5)) ((triple7 ((triple7 ((triple7 triple11 triple9) -> (rule7 % int4)) ((triple11 triple9 triple12) -> (rule3 % int5))) -> (rule6 % int3)) ((triple11 triple9 triple12) -> (rule3 % int5))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple7 triple11 triple9) -> (rule7 % int5)) ((triple11 triple9 triple12) -> (rule3 % int4)) ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule6 % int3)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple7 triple11 triple9) -> (rule7 % int5)) ((triple11 triple9 triple12) -> (rule3 % int4)) ((triple7 ((triple7 ((triple7 triple11 triple9) -> (rule7 % int5)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule6 % int3)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is not rough.
False
13
inv-proof
[(((triple10 ((triple11 triple9 triple12) -> rule3) ((triple7 triple8 ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((triple10 ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple9 triple11) -> rule4) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3) ((triple7 triple8 ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple9 triple11) -> rule4) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((triple10 ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((triple10 ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple7 ((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple7 ((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2))]
("Harry" "is" "rough" "-")
((triple10 ((triple11 triple9 triple12) -> (rule3 % int3)) ((triple7 triple8 ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((triple10 ((triple11 triple9 triple12) -> (rule3 % int4)) ((triple7 ((triple9 triple11) -> (rule4 % int3)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple7 triple11 triple9) -> (rule7 % int4)) ((triple11 triple9 triple12) -> (rule3 % int3)) ((triple7 triple8 ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple7 triple11 triple9) -> (rule7 % int5)) ((triple11 triple9 triple12) -> (rule3 % int4)) ((triple7 ((triple9 triple11) -> (rule4 % int3)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((triple10 ((triple11 triple9 triple12) -> (rule3 % int4)) ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule6 % int3)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple10 ((triple11 triple9 triple12) -> (rule3 % int5)) ((triple7 ((triple7 ((triple7 triple11 triple9) -> (rule7 % int4)) ((triple11 triple9 triple12) -> (rule3 % int5))) -> (rule6 % int3)) ((triple11 triple9 triple12) -> (rule3 % int5))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple7 triple11 triple9) -> (rule7 % int5)) ((triple11 triple9 triple12) -> (rule3 % int4)) ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule6 % int3)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple7 triple11 triple9) -> (rule7 % int5)) ((triple11 triple9 triple12) -> (rule3 % int4)) ((triple7 ((triple7 ((triple7 triple11 triple9) -> (rule7 % int5)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule6 % int3)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "cold" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "green" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "-")
Gary is rough.
Unknown
rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Gary" "is" "rough" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Bob is nice.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple6)] Charlie is green.[(triple5)] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is cold.[(triple10 OR ((triple7 triple11 triple9) -> rule7))] Harry is kind.[(triple9)] Harry is round.[(triple8 OR ((triple9 triple11) -> rule4) OR ((triple7 triple10 ((triple11 triple9 triple12) -> rule3)) -> rule6) OR ((triple7 ((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3)) -> rule6))] Harry is young.[(triple7)] @1: Charlie is red.[(((triple3 triple4 triple5) -> rule5))] Harry is green.[(((triple11 triple9 triple12) -> rule3))] @2: Harry is red.[(((triple7 triple8 ((triple11 triple9 triple12) -> rule3)) -> rule5) OR ((triple7 ((triple9 triple11) -> rule4) ((triple11 triple9 triple12) -> rule3)) -> rule5) OR ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5) OR ((triple7 ((triple7 ((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5))] @3: Harry is rough.[(((triple10 ((triple11 triple9 triple12) -> rule3) ((triple7 triple8 ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((triple10 ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple9 triple11) -> rule4) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3) ((triple7 triple8 ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple9 triple11) -> rule4) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((triple10 ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((triple10 ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple7 ((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3) ((triple7 ((triple7 ((triple7 triple11 triple9) -> rule7) ((triple11 triple9 triple12) -> rule3)) -> rule6) ((triple11 triple9 triple12) -> rule3)) -> rule5)) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
((triple7 triple11 triple9) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
((triple9 triple11) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple7 triple10 ((triple11 triple9 triple12) -> (rule3 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((triple7 ((triple7 triple11 triple9) -> (rule7 % int3)) ((triple11 triple9 triple12) -> (rule3 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
((triple3 triple4 triple5) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple11 triple9 triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple7 triple8 ((triple11 triple9 triple12) -> (rule3 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((triple7 ((triple9 triple11) -> (rule4 % int3)) ((triple11 triple9 triple12) -> (rule3 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule6 % int2)) ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((triple7 ((triple7 ((triple7 triple11 triple9) -> (rule7 % int4)) ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule6 % int2)) ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
((triple10 ((triple11 triple9 triple12) -> (rule3 % int3)) ((triple7 triple8 ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((triple10 ((triple11 triple9 triple12) -> (rule3 % int4)) ((triple7 ((triple9 triple11) -> (rule4 % int3)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple7 triple11 triple9) -> (rule7 % int4)) ((triple11 triple9 triple12) -> (rule3 % int3)) ((triple7 triple8 ((triple11 triple9 triple12) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
((((triple7 triple11 triple9) -> (rule7 % int5)) ((triple11 triple9 triple12) -> (rule3 % int4)) ((triple7 ((triple9 triple11) -> (rule4 % int3)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((triple10 ((triple11 triple9 triple12) -> (rule3 % int4)) ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule6 % int3)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple10 ((triple11 triple9 triple12) -> (rule3 % int5)) ((triple7 ((triple7 ((triple7 triple11 triple9) -> (rule7 % int4)) ((triple11 triple9 triple12) -> (rule3 % int5))) -> (rule6 % int3)) ((triple11 triple9 triple12) -> (rule3 % int5))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple7 triple11 triple9) -> (rule7 % int5)) ((triple11 triple9 triple12) -> (rule3 % int4)) ((triple7 ((triple7 triple10 ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule6 % int3)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
((((triple7 triple11 triple9) -> (rule7 % int5)) ((triple11 triple9 triple12) -> (rule3 % int4)) ((triple7 ((triple7 ((triple7 triple11 triple9) -> (rule7 % int5)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule6 % int3)) ((triple11 triple9 triple12) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Bob who is considered nice was feeling rather rough today.
Charlie is big and round for being so young; He ate some spoiled food that has him feeling green.
Harry is a young man is who big and round; He is very kind and never someone who is cold and blue.
If a person is blue, rough, and green, then they are also big.
Cold people,though green and red,tend to be rough.
Pick someone blue, kind and big, and they are certain to be green as well.
A downhearted blue person who is kind is round.
A young round person who is green is also red.
That young person is feeling cold because he is green to the situation making his body shape round.
Anyone that's described as young, kind and blue can be said to be cold, too.