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.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
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.