In the snow sits Charlie, crying from being cold. Although Eric is round, he is intimidating because he is rough, red, cold, and very big. Even though big Fred can be rough and cold, he is nice for someone as red as he is. When anyone can be described as nice, young and big, they can also be described as red. Nice and kind people tend to live green lifestyle and arent very rough. A kind and green person who is rough around the edges is cold. All the big and young boys at the park are red. Young people that are big in size, tend to be more on the blue side. Big people that are also rough, are ultimately round. Those who are round and cold are young.
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is nice and big and young then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and kind and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and rough and kind then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is big and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and rough then they are round.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Fred is red.
True
1
proof
[(triple8 OR ((triple11 ((triple10 ((triple11 triple7) -> rule6)) -> rule7)) -> rule4) OR ((triple9 triple11 ((triple10 ((triple11 triple7) -> rule6)) -> rule7)) -> rule1))]
("Fred" "is" "red" "+")
triple8
((triple11 ((triple10 ((triple11 triple7) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
((triple9 triple11 ((triple10 ((triple11 triple7) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Eric is not round.
False
1
inv-proof
[(triple2 OR ((triple6 triple3) -> rule6))]
("Eric" "is" "round" "-")
triple2
((triple6 triple3) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Fred is round.
True
3
proof
[(((triple11 triple7) -> rule6))]
("Fred" "is" "round" "+")
((triple11 triple7) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not round.
False
3
inv-proof
[(((triple11 triple7) -> rule6))]
("Fred" "is" "round" "-")
((triple11 triple7) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Eric is blue.
True
5
proof
[(((triple6 ((triple5 triple2) -> rule7)) -> rule5) OR ((triple6 ((triple5 ((triple6 triple3) -> rule6)) -> rule7)) -> rule5))]
("Eric" "is" "blue" "+")
((triple6 ((triple5 triple2) -> (rule7 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
((triple6 ((triple5 ((triple6 triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not blue.
False
5
inv-proof
[(((triple6 ((triple5 triple2) -> rule7)) -> rule5) OR ((triple6 ((triple5 ((triple6 triple3) -> rule6)) -> rule7)) -> rule5))]
("Eric" "is" "blue" "-")
((triple6 ((triple5 triple2) -> (rule7 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
((triple6 ((triple5 ((triple6 triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Fred is blue.
True
7
proof
[(((triple11 ((triple10 ((triple11 triple7) -> rule6)) -> rule7)) -> rule5))]
("Fred" "is" "blue" "+")
((triple11 ((triple10 ((triple11 triple7) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not blue.
False
7
inv-proof
[(((triple11 ((triple10 ((triple11 triple7) -> rule6)) -> rule7)) -> rule5))]
("Fred" "is" "blue" "-")
((triple11 ((triple10 ((triple11 triple7) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "round" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "round" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "cold" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Charlie is cold.[(triple1)] Eric is big.[(triple6)] Eric is cold.[(triple5)] Eric is red.[(triple4 OR ((triple6 ((triple5 triple2) -> rule7)) -> rule4) OR ((triple6 ((triple5 ((triple6 triple3) -> rule6)) -> rule7)) -> rule4))] Eric is rough.[(triple3)] Eric is round.[(triple2 OR ((triple6 triple3) -> rule6))] Fred is big.[(triple11)] Fred is cold.[(triple10)] Fred is nice.[(triple9)] Fred is red.[(triple8 OR ((triple11 ((triple10 ((triple11 triple7) -> rule6)) -> rule7)) -> rule4) OR ((triple9 triple11 ((triple10 ((triple11 triple7) -> rule6)) -> rule7)) -> rule1))] Fred is rough.[(triple7)] @1: Eric is young.[(((triple5 triple2) -> rule7) OR ((triple5 ((triple6 triple3) -> rule6)) -> rule7))] Fred is round.[(((triple11 triple7) -> rule6))] @2: Eric is blue.[(((triple6 ((triple5 triple2) -> rule7)) -> rule5) OR ((triple6 ((triple5 ((triple6 triple3) -> rule6)) -> rule7)) -> rule5))] Fred is young.[(((triple10 ((triple11 triple7) -> rule6)) -> rule7))] @3: Fred is blue.[(((triple11 ((triple10 ((triple11 triple7) -> rule6)) -> rule7)) -> rule5))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
((triple6 ((triple5 triple2) -> (rule7 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
((triple6 ((triple5 ((triple6 triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Eric is round.
("Eric" "is" "round" "+")
triple2
((triple6 triple3) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
((triple11 ((triple10 ((triple11 triple7) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
((triple9 triple11 ((triple10 ((triple11 triple7) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
((triple5 triple2) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
((triple5 ((triple6 triple3) -> (rule6 % int2))) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple11 triple7) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple6 ((triple5 triple2) -> (rule7 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
((triple6 ((triple5 ((triple6 triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
((triple10 ((triple11 triple7) -> (rule6 % int2))) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((triple11 ((triple10 ((triple11 triple7) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
In the snow sits Charlie, crying from being cold.
Although Eric is round, he is intimidating because he is rough, red, cold, and very big.
Even though big Fred can be rough and cold, he is nice for someone as red as he is.
When anyone can be described as nice, young and big, they can also be described as red.
Nice and kind people tend to live green lifestyle and arent very rough.
A kind and green person who is rough around the edges is cold.
All the big and young boys at the park are red.
Young people that are big in size, tend to be more on the blue side.
Big people that are also rough, are ultimately round.
Those who are round and cold are young.