That man standing next to you with a big round body goes by the name of Alan. Dave always goes out of his way to show that he is kind to people. Red Fred is what folks call him, because he is quite red. Harry is big for being as young as he is. You will also notice how he is green and red. Someone who has a a young round face is often rough around the edges. If someone is cold and young, you'll see that they are kind. Red, big people can't help but be round as well. Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue. A green colored person will be young and also kind. A young person who is red a kind is also usually big.
Alan is round.
("Alan" "is" "round" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fred is red.
("Fred" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and young then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and big then they are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and rough and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and young and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Alan is big.
True
1
proof
[(triple2)]
("Alan" "is" "big" "+")
triple2
Harry is not young.
False
1
inv-proof
[(triple5)]
("Harry" "is" "young" "-")
triple5
Harry is kind.
True
3
proof
[(((triple7 triple5) -> rule5))]
("Harry" "is" "kind" "+")
((triple7 triple5) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not round.
False
3
inv-proof
[(((triple6 triple8) -> rule3) OR ((triple6 ((triple6 triple5 ((triple7 triple5) -> rule5)) -> rule6)) -> rule3))]
("Harry" "is" "round" "-")
((triple6 triple8) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple6 ((triple6 triple5 ((triple7 triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is rough.
True
5
proof
[(((((triple6 triple8) -> rule3) triple5) -> rule1) OR ((((triple6 ((triple6 triple5 ((triple7 triple5) -> rule5)) -> rule6)) -> rule3) triple5) -> rule1))]
("Harry" "is" "rough" "+")
((((triple6 triple8) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple6 ((triple6 triple5 ((triple7 triple5) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is not rough.
False
5
inv-proof
[(((((triple6 triple8) -> rule3) triple5) -> rule1) OR ((((triple6 ((triple6 triple5 ((triple7 triple5) -> rule5)) -> rule6)) -> rule3) triple5) -> rule1))]
("Harry" "is" "rough" "-")
((((triple6 triple8) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple6 ((triple6 triple5 ((triple7 triple5) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is blue.
True
10
proof
[(((((triple7 triple5) -> rule5) ((((triple6 triple8) -> rule3) triple5) -> rule1) triple5) -> rule4) OR ((((triple7 triple5) -> rule5) ((((triple6 ((triple6 triple5 ((triple7 triple5) -> rule5)) -> rule6)) -> rule3) triple5) -> rule1) triple5) -> rule4))]
("Harry" "is" "blue" "+")
((((triple7 triple5) -> (rule5 % int4)) ((((triple6 triple8) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple7 triple5) -> (rule5 % int5)) ((((triple6 ((triple6 triple5 ((triple7 triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is not blue.
False
10
inv-proof
[(((((triple7 triple5) -> rule5) ((((triple6 triple8) -> rule3) triple5) -> rule1) triple5) -> rule4) OR ((((triple7 triple5) -> rule5) ((((triple6 ((triple6 triple5 ((triple7 triple5) -> rule5)) -> rule6)) -> rule3) triple5) -> rule1) triple5) -> rule4))]
("Harry" "is" "blue" "-")
((((triple7 triple5) -> (rule5 % int4)) ((((triple6 triple8) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple7 triple5) -> (rule5 % int5)) ((((triple6 ((triple6 triple5 ((triple7 triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "big" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "blue" "+")
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "blue" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "rough" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is big.[(triple2)] Alan is round.[(triple1)] Dave is kind.[(triple3)] Fred is red.[(triple4)] Harry is big.[(triple8 OR ((triple6 triple5 ((triple7 triple5) -> rule5)) -> rule6))] Harry is green.[(triple7)] Harry is red.[(triple6)] Harry is young.[(triple5)] @1: Harry is kind.[(((triple7 triple5) -> rule5))] Harry is round.[(((triple6 triple8) -> rule3) OR ((triple6 ((triple6 triple5 ((triple7 triple5) -> rule5)) -> rule6)) -> rule3))] @2: Harry is rough.[(((((triple6 triple8) -> rule3) triple5) -> rule1) OR ((((triple6 ((triple6 triple5 ((triple7 triple5) -> rule5)) -> rule6)) -> rule3) triple5) -> rule1))] @3: Harry is blue.[(((((triple7 triple5) -> rule5) ((((triple6 triple8) -> rule3) triple5) -> rule1) triple5) -> rule4) OR ((((triple7 triple5) -> rule5) ((((triple6 ((triple6 triple5 ((triple7 triple5) -> rule5)) -> rule6)) -> rule3) triple5) -> rule1) triple5) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Fred is red.
("Fred" "is" "red" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple8
((triple6 triple5 ((triple7 triple5) -> (rule5 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
((triple7 triple5) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple6 triple8) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple6 ((triple6 triple5 ((triple7 triple5) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
((((triple6 triple8) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple6 ((triple6 triple5 ((triple7 triple5) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
((((triple7 triple5) -> (rule5 % int4)) ((((triple6 triple8) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple7 triple5) -> (rule5 % int5)) ((((triple6 ((triple6 triple5 ((triple7 triple5) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
That man standing next to you with a big round body goes by the name of Alan.
Dave always goes out of his way to show that he is kind to people.
Red Fred is what folks call him, because he is quite red.
Harry is big for being as young as he is; You will also notice how he is green and red.
Someone who has a a young round face is often rough around the edges.
If someone is cold and young, you'll see that they are kind.
Red, big people can't help but be round as well.
Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue.
A green colored person will be young and also kind.
A young person who is red a kind is also usually big.