Even though he's a big dude, Alan is cold. That man standing next to you with a big round body goes by the name of Bob. Dave was kind despite being rough. And because he was so big, Dave constantly felt cold. Gary is big and tends to wear red shirts. Nice people that are blue because they are cold turn green with envy. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. A big young person that is green will be cold to others. Young and rough green people, have no choice but to be red. A human that's cold also means they are a human that is young. Cold, red people are generally kind and big. As far as anyone can tell, whoever is kind, rough, and big is a round person.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and round and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is green and young and big then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and rough and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and rough and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Gary is big.
True
1
proof
[(triple10)]
("Gary" "is" "big" "+")
triple10
Alan is not cold.
False
1
inv-proof
[(triple1)]
("Alan" "is" "cold" "-")
triple1
Dave is young.
True
2
proof
[(((triple7) -> rule5))]
("Dave" "is" "young" "+")
((triple7) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not round.
False
4
inv-proof
[(((triple6 triple5 triple8) -> rule7))]
("Dave" "is" "round" "-")
((triple6 triple5 triple8) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
True
7
proof
[(((triple5 ((triple6 triple5 triple8) -> rule7) triple8) -> rule2))]
("Dave" "is" "green" "+")
((triple5 ((triple6 triple5 triple8) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not green.
False
7
inv-proof
[(((triple5 ((triple6 triple5 triple8) -> rule7) triple8) -> rule2))]
("Dave" "is" "green" "-")
((triple5 ((triple6 triple5 triple8) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
True
11
proof
[(((((triple7) -> rule5) triple5 ((triple5 ((triple6 triple5 triple8) -> rule7) triple8) -> rule2)) -> rule4))]
("Dave" "is" "red" "+")
((((triple7) -> (rule5 % int4)) triple5 ((triple5 ((triple6 triple5 triple8) -> (rule7 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is not red.
False
11
inv-proof
[(((((triple7) -> rule5) triple5 ((triple5 ((triple6 triple5 triple8) -> rule7) triple8) -> rule2)) -> rule4))]
("Dave" "is" "red" "-")
((((triple7) -> (rule5 % int4)) triple5 ((triple5 ((triple6 triple5 triple8) -> (rule7 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "red" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "red" "+")
Gary is not cold.
Unknown
inv-rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "cold" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "green" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Alan is big.[(triple2)] Alan is cold.[(triple1)] Bob is big.[(triple4)] Bob is round.[(triple3)] Dave is big.[(triple8)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is rough.[(triple5)] Gary is big.[(triple10)] Gary is red.[(triple9)] @1: Alan is young.[(((triple1) -> rule5))] Dave is round.[(((triple6 triple5 triple8) -> rule7))] Dave is young.[(((triple7) -> rule5))] @2: Dave is green.[(((triple5 ((triple6 triple5 triple8) -> rule7) triple8) -> rule2))] @3: Dave is red.[(((((triple7) -> rule5) triple5 ((triple5 ((triple6 triple5 triple8) -> rule7) triple8) -> rule2)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Alan is young.
("Alan" "is" "young" "+")
((triple1) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple6 triple5 triple8) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple7) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple5 ((triple6 triple5 triple8) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((triple7) -> (rule5 % int4)) triple5 ((triple5 ((triple6 triple5 triple8) -> (rule7 % int3)) triple8) -> (rule2 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Even though he's a big dude, Alan is cold.
That man standing next to you with a big round body goes by the name of Bob.
Dave was kind despite being rough; And because he was so big, Dave constantly felt cold.
Gary is big and tends to wear red shirts.
Nice people that are blue because they are cold turn green with envy.
If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green.
A big young person that is green will be cold to others.
Young and rough green people, have no choice but to be red.
A human that's cold also means they are a human that is young.
Cold, red people are generally kind and big.
As far as anyone can tell, whoever is kind, rough, and big is a round person.