To the touch Alan has rough, cold skin. Dave is too young to be so big. Some say he is too green to be so blue as well. Eric has green teeth and rough skin. People also notice his blue eyes. In the snow sits Harry, crying from being cold. A nice young person who is rough around the edges is big. Young people who are feeling green and cold are kind. Big and round people can't help but be cold all of the time. Round people who feel rough also always feel cold,. People,though rough and red,tend to be cold too. If someone is feeling blue and round in shape they are usually nice. A blue and green colored person will be round in shape.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is young and nice and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is young and green and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Eric is blue.
True
1
proof
[(triple9)]
("Eric" "is" "blue" "+")
triple9
Dave is not big.
False
1
inv-proof
[(triple6)]
("Dave" "is" "big" "-")
triple6
Eric is round.
True
3
proof
[(((triple9 triple8) -> rule7))]
("Eric" "is" "round" "+")
((triple9 triple8) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Dave is not round.
False
3
inv-proof
[(((triple5 triple4) -> rule7))]
("Dave" "is" "round" "-")
((triple5 triple4) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
True
5
proof
[(((triple6 ((triple5 triple4) -> rule7)) -> rule3))]
("Dave" "is" "cold" "+")
((triple6 ((triple5 triple4) -> (rule7 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Eric is not nice.
False
5
inv-proof
[(((triple9 ((triple9 triple8) -> rule7)) -> rule6))]
("Eric" "is" "nice" "-")
((triple9 ((triple9 triple8) -> (rule7 % int2))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Dave is kind.
True
8
proof
[(((triple3 triple4 ((triple6 ((triple5 triple4) -> rule7)) -> rule3)) -> rule2))]
("Dave" "is" "kind" "+")
((triple3 triple4 ((triple6 ((triple5 triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not kind.
False
8
inv-proof
[(((triple3 triple4 ((triple6 ((triple5 triple4) -> rule7)) -> rule3)) -> rule2))]
("Dave" "is" "kind" "-")
((triple3 triple4 ((triple6 ((triple5 triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "kind" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "+")
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "big" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "round" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Alan is cold.[(triple2)] Alan is rough.[(triple1)] Dave is big.[(triple6)] Dave is blue.[(triple5)] Dave is green.[(triple4)] Dave is young.[(triple3)] Eric is blue.[(triple9)] Eric is green.[(triple8)] Eric is rough.[(triple7)] Harry is cold.[(triple10)] @1: Dave is round.[(((triple5 triple4) -> rule7))] Eric is round.[(((triple9 triple8) -> rule7))] @2: Dave is cold.[(((triple6 ((triple5 triple4) -> rule7)) -> rule3))] Dave is nice.[(((triple5 ((triple5 triple4) -> rule7)) -> rule6))] Eric is cold.[(((((triple9 triple8) -> rule7) triple7) -> rule4))] Eric is nice.[(((triple9 ((triple9 triple8) -> rule7)) -> rule6))] @3: Dave is kind.[(((triple3 triple4 ((triple6 ((triple5 triple4) -> rule7)) -> rule3)) -> rule2))]
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Dave is round.
("Dave" "is" "round" "+")
((triple5 triple4) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple9 triple8) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple6 ((triple5 triple4) -> (rule7 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((triple5 ((triple5 triple4) -> (rule7 % int2))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((((triple9 triple8) -> (rule7 % int2)) triple7) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((triple9 ((triple9 triple8) -> (rule7 % int2))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((triple3 triple4 ((triple6 ((triple5 triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
To the touch Alan has rough, cold skin.
Dave is too young to be so big; Some say he is too green to be so blue as well.
Eric has green teeth and rough skin; People also notice his blue eyes.
In the snow sits Harry, crying from being cold.
A nice young person who is rough around the edges is big.
Young people who are feeling green and cold are kind.
Big and round people can't help but be cold all of the time.
Round people who feel rough also always feel cold,.
People,though rough and red,tend to be cold too.
If someone is feeling blue and round in shape they are usually nice.
A blue and green colored person will be round in shape.