Big, red Alan is quite kind. Charlie is a young man who is also kind, blue and rough. Fred is a red fellow who habitually looks blue. He's often cold. In the snow sits Harry, crying from being cold. A young person with rough red skin is downhearted and blue. Rough people are often always nice. A big, kind someone could also be cold in a green dress. A young, nice person will turn out to be a green person also. I have noticed that nice people that are green and blue are often round-shaped. Being green and rough are signs that someone is big. If someone is red and green and feeels rough, they are kind.
If someone is rough and young and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and kind and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is young and nice then they are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and green and blue then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and green and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Charlie is young.
True
1
proof
[(triple4)]
("Charlie" "is" "young" "+")
triple4
Fred is not blue.
False
1
inv-proof
[(triple10)]
("Fred" "is" "blue" "-")
triple10
Charlie is nice.
True
2
proof
[(((triple5) -> rule2))]
("Charlie" "is" "nice" "+")
((triple5) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
2
inv-proof
[(((triple5) -> rule2))]
("Charlie" "is" "nice" "-")
((triple5) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
True
4
proof
[(((triple4 ((triple5) -> rule2)) -> rule4))]
("Charlie" "is" "green" "+")
((triple4 ((triple5) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not green.
False
4
inv-proof
[(((triple4 ((triple5) -> rule2)) -> rule4))]
("Charlie" "is" "green" "-")
((triple4 ((triple5) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
True
6
proof
[(((((triple4 ((triple5) -> rule2)) -> rule4) triple5) -> rule6))]
("Charlie" "is" "big" "+")
((((triple4 ((triple5) -> (rule2 % int3))) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not big.
False
6
inv-proof
[(((((triple4 ((triple5) -> rule2)) -> rule4) triple5) -> rule6))]
("Charlie" "is" "big" "-")
((((triple4 ((triple5) -> (rule2 % int3))) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Harry is not green.
Unknown
inv-rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Harry" "is" "green" "-")
Fred is round.
Unknown
rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Fred" "is" "round" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "green" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Alan is big.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Charlie is blue.[(triple7)] Charlie is kind.[(triple6)] Charlie is rough.[(triple5)] Charlie is young.[(triple4)] Fred is blue.[(triple10)] Fred is cold.[(triple9)] Fred is red.[(triple8)] Harry is cold.[(triple11)] @1: Charlie is nice.[(((triple5) -> rule2))] @2: Charlie is green.[(((triple4 ((triple5) -> rule2)) -> rule4))] @3: Charlie is big.[(((((triple4 ((triple5) -> rule2)) -> rule4) triple5) -> rule6))] Charlie is round.[(((((triple5) -> rule2) ((triple4 ((triple5) -> rule2)) -> rule4) triple7) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple4 ((triple5) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple4 ((triple5) -> (rule2 % int3))) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
((((triple5) -> (rule2 % int3)) ((triple4 ((triple5) -> (rule2 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Big, red Alan is quite kind.
Charlie is a young man who is also kind, blue and rough.
Fred is a red fellow who habitually looks blue; He's often cold.
In the snow sits Harry, crying from being cold.
A young person with rough red skin is downhearted and blue.
Rough people are often always nice.
A big, kind someone could also be cold in a green dress.
A young, nice person will turn out to be a green person also.
I have noticed that nice people that are green and blue are often round-shaped.
Being green and rough are signs that someone is big.
If someone is red and green and feeels rough, they are kind.