Bob is blue and cold. Fred is blue from ink he spilled on himself while being kind and helping some children paint. If you had seen the young round Gary you'd never believe he was the same red, green and rough Gary of today. That man standing next to you with a big round body goes by the name of Harry. Young, green round people are big. Someone with round, red, and kind traits also will be green. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. Folks who are nice and young with red coloration tend to feel blue. Though their hands were rough and cold they were also kind, which is how I could tell that they were young. A nice person who is downhearted, blue, and green with envy is rough.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green and young and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red and kind then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and young and red then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and rough and cold then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and blue and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Fred is blue.
True
1
proof
[(triple4)]
("Fred" "is" "blue" "+")
triple4
Harry is not round.
False
1
inv-proof
[(triple10)]
("Harry" "is" "round" "-")
triple10
Gary is big.
True
4
proof
[(((triple9 triple5 triple6) -> rule1))]
("Gary" "is" "big" "+")
((triple9 triple5 triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
4
inv-proof
[(((triple9 triple5 triple6) -> rule1))]
("Gary" "is" "big" "-")
((triple9 triple5 triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
True
7
proof
[(((((triple9 triple5 triple6) -> rule1) triple6 triple8) -> rule3))]
("Gary" "is" "nice" "+")
((((triple9 triple5 triple6) -> (rule1 % int2)) triple6 triple8) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not nice.
False
7
inv-proof
[(((((triple9 triple5 triple6) -> rule1) triple6 triple8) -> rule3))]
("Gary" "is" "nice" "-")
((((triple9 triple5 triple6) -> (rule1 % int2)) triple6 triple8) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
True
10
proof
[(((((((triple9 triple5 triple6) -> rule1) triple6 triple8) -> rule3) triple5 triple8) -> rule4))]
("Gary" "is" "blue" "+")
((((((triple9 triple5 triple6) -> (rule1 % int3)) triple6 triple8) -> (rule3 % int2)) triple5 triple8) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not blue.
False
10
inv-proof
[(((((((triple9 triple5 triple6) -> rule1) triple6 triple8) -> rule3) triple5 triple8) -> rule4))]
("Gary" "is" "blue" "-")
((((((triple9 triple5 triple6) -> (rule1 % int3)) triple6 triple8) -> (rule3 % int2)) triple5 triple8) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "young" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Bob is blue.[(triple2)] Bob is cold.[(triple1)] Fred is blue.[(triple4)] Fred is kind.[(triple3)] Gary is green.[(triple9)] Gary is red.[(triple8)] Gary is rough.[(triple7 OR ((((((triple9 triple5 triple6) -> rule1) triple6 triple8) -> rule3) ((((((triple9 triple5 triple6) -> rule1) triple6 triple8) -> rule3) triple5 triple8) -> rule4) triple9) -> rule6))] Gary is round.[(triple6)] Gary is young.[(triple5)] Harry is big.[(triple11)] Harry is round.[(triple10)] @1: Gary is big.[(((triple9 triple5 triple6) -> rule1))] @2: Gary is nice.[(((((triple9 triple5 triple6) -> rule1) triple6 triple8) -> rule3))] @3: Gary is blue.[(((((((triple9 triple5 triple6) -> rule1) triple6 triple8) -> rule3) triple5 triple8) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple4
Fred is kind.
("Fred" "is" "kind" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
((((((triple9 triple5 triple6) -> (rule1 % int4)) triple6 triple8) -> (rule3 % int3)) ((((((triple9 triple5 triple6) -> (rule1 % int4)) triple6 triple8) -> (rule3 % int3)) triple5 triple8) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Gary is big.
("Gary" "is" "big" "+")
((triple9 triple5 triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((((triple9 triple5 triple6) -> (rule1 % int2)) triple6 triple8) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((((triple9 triple5 triple6) -> (rule1 % int3)) triple6 triple8) -> (rule3 % int2)) triple5 triple8) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Bob is blue and cold.
Fred is blue from ink he spilled on himself while being kind and helping some children paint.
If you had seen the young round Gary you'd never believe he was the same red, green and rough Gary of today.
That man standing next to you with a big round body goes by the name of Harry.
Young, green round people are big.
Someone with round, red, and kind traits also will be green.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
Folks who are nice and young with red coloration tend to feel blue.
Though their hands were rough and cold they were also kind, which is how I could tell that they were young.
A nice person who is downhearted, blue, and green with envy is rough.