Charlie is a blue but young, round man but is also cold and big. In the snow sits Dave, crying from being cold. Fred was born only a few years ago so he is young. Gary was born only a few years ago so he is young. Find someone cold and green. If they are also round, then they are sure to be nice. A green, inexperienced person with a round shape who is kind to others gets very red when in the sun. Big and cold people tend to see red and dont live green lifestyle. Cold people,though green and red,tend to be rough. All the big and young boys at the park are red. Big and cold people are likely to be round, too. Someone being both nice and kind means that they are a big person.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is cold and green and round then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and round and kind then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is red and big and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
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 big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Charlie is round.
True
1
proof
[(triple2 OR ((triple5 triple3) -> rule6))]
("Charlie" "is" "round" "+")
triple2
((triple5 triple3) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not young.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "young" "-")
triple1
Charlie is red.
True
3
proof
[(((triple5 triple1) -> rule5))]
("Charlie" "is" "red" "+")
((triple5 triple1) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
3
inv-proof
[(((triple5 triple1) -> rule5))]
("Charlie" "is" "red" "-")
((triple5 triple1) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
True
6
proof
[(((((triple5 triple1) -> rule5) triple5 triple3) -> rule3))]
("Charlie" "is" "green" "+")
((((triple5 triple1) -> (rule5 % int2)) triple5 triple3) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not green.
False
6
inv-proof
[(((((triple5 triple1) -> rule5) triple5 triple3) -> rule3))]
("Charlie" "is" "green" "-")
((((triple5 triple1) -> (rule5 % int2)) triple5 triple3) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
True
9
proof
[(((triple3 ((((triple5 triple1) -> rule5) triple5 triple3) -> rule3) triple2) -> rule1) OR ((triple3 ((((triple5 triple1) -> rule5) triple5 triple3) -> rule3) ((triple5 triple3) -> rule6)) -> rule1))]
("Charlie" "is" "nice" "+")
((triple3 ((((triple5 triple1) -> (rule5 % int3)) triple5 triple3) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple3 ((((triple5 triple1) -> (rule5 % int4)) triple5 triple3) -> (rule3 % int3)) ((triple5 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is not nice.
False
9
inv-proof
[(((triple3 ((((triple5 triple1) -> rule5) triple5 triple3) -> rule3) triple2) -> rule1) OR ((triple3 ((((triple5 triple1) -> rule5) triple5 triple3) -> rule3) ((triple5 triple3) -> rule6)) -> rule1))]
("Charlie" "is" "nice" "-")
((triple3 ((((triple5 triple1) -> (rule5 % int3)) triple5 triple3) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple3 ((((triple5 triple1) -> (rule5 % int4)) triple5 triple3) -> (rule3 % int3)) ((triple5 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "round" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "rough" "-")
Dave is round.
Unknown
rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Dave" "is" "round" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Charlie is big.[(triple5)] Charlie is blue.[(triple4)] Charlie is cold.[(triple3)] Charlie is round.[(triple2 OR ((triple5 triple3) -> rule6))] Charlie is young.[(triple1)] Dave is cold.[(triple6)] Fred is young.[(triple7)] Gary is young.[(triple8)] @1: Charlie is red.[(((triple5 triple1) -> rule5))] @2: Charlie is green.[(((((triple5 triple1) -> rule5) triple5 triple3) -> rule3))] @3: Charlie is nice.[(((triple3 ((((triple5 triple1) -> rule5) triple5 triple3) -> rule3) triple2) -> rule1) OR ((triple3 ((((triple5 triple1) -> rule5) triple5 triple3) -> rule3) ((triple5 triple3) -> rule6)) -> rule1))] Charlie is rough.[(((triple3 ((((triple5 triple1) -> rule5) triple5 triple3) -> rule3) ((triple5 triple1) -> rule5)) -> rule4))]
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
((triple5 triple3) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
((triple5 triple1) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((((triple5 triple1) -> (rule5 % int2)) triple5 triple3) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3 ((((triple5 triple1) -> (rule5 % int3)) triple5 triple3) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple3 ((((triple5 triple1) -> (rule5 % int4)) triple5 triple3) -> (rule3 % int3)) ((triple5 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3 ((((triple5 triple1) -> (rule5 % int3)) triple5 triple3) -> (rule3 % int2)) ((triple5 triple1) -> (rule5 % int3))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is a blue but young, round man but is also cold and big.
In the snow sits Dave, crying from being cold.
Fred was born only a few years ago so he is young.
Gary was born only a few years ago so he is young.
Find someone cold and green; If they are also round, then they are sure to be nice.
A green, inexperienced person with a round shape who is kind to others gets very red when in the sun.
Big and cold people tend to see red and dont live green lifestyle.
Cold people,though green and red,tend to be rough.
All the big and young boys at the park are red.
Big and cold people are likely to be round, too.
Someone being both nice and kind means that they are a big person.