Alan, like all young people, is nice. Bob is blue from ink he spilled on himself while being kind and helping some children paint. Charlie is big and tends to wear red shirts. Fred is made of many colors, red and blue and green. He is also rough and cold. Young and nice people have great big smiles. A nice young person who is rough around the edges is big. Any person who is blue and round, if they are kind at the same time, will be young. A person fitting the description of rough, cold and red will also be a nice person. That young person is feeling cold because he is green to the situation making his body shape round. When a person is blue, cold, and nice, they are also pretty young too.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
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 blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and cold and red then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold and green then they are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and cold and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Alan is young.
True
1
proof
[(triple1)]
("Alan" "is" "young" "+")
triple1
Charlie is not red.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "red" "-")
triple5
Alan is big.
True
3
proof
[(((triple1 triple2) -> rule1))]
("Alan" "is" "big" "+")
((triple1 triple2) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is not big.
False
3
inv-proof
[(((triple1 triple2) -> rule1))]
("Alan" "is" "big" "-")
((triple1 triple2) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Fred is young.
True
7
proof
[(((triple11 triple10 ((triple7 triple10 triple8) -> rule4)) -> rule6))]
("Fred" "is" "young" "+")
((triple11 triple10 ((triple7 triple10 triple8) -> (rule4 % int2))) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not young.
False
7
inv-proof
[(((triple11 triple10 ((triple7 triple10 triple8) -> rule4)) -> rule6))]
("Fred" "is" "young" "-")
((triple11 triple10 ((triple7 triple10 triple8) -> (rule4 % int2))) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
True
10
proof
[(((((triple11 triple10 ((triple7 triple10 triple8) -> rule4)) -> rule6) triple10 triple9) -> rule5))]
("Fred" "is" "round" "+")
((((triple11 triple10 ((triple7 triple10 triple8) -> (rule4 % int3))) -> (rule6 % int2)) triple10 triple9) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not big.
False
12
inv-proof
[(((((triple11 triple10 ((triple7 triple10 triple8) -> rule4)) -> rule6) ((triple7 triple10 triple8) -> rule4)) -> rule1) OR ((((triple11 triple10 ((triple7 triple10 triple8) -> rule4)) -> rule6) ((triple7 triple10 triple8) -> rule4) triple7) -> rule2))]
("Fred" "is" "big" "-")
((((triple11 triple10 ((triple7 triple10 triple8) -> (rule4 % int3))) -> (rule6 % int2)) ((triple7 triple10 triple8) -> (rule4 % int3))) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((triple11 triple10 ((triple7 triple10 triple8) -> (rule4 % int3))) -> (rule6 % int2)) ((triple7 triple10 triple8) -> (rule4 % int3)) triple7) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "round" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "nice" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Alan is nice.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple4)] Bob is kind.[(triple3)] Charlie is big.[(triple6)] Charlie is red.[(triple5)] Fred is blue.[(triple11)] Fred is cold.[(triple10)] Fred is green.[(triple9)] Fred is red.[(triple8)] Fred is rough.[(triple7)] @1: Alan is big.[(((triple1 triple2) -> rule1))] Fred is nice.[(((triple7 triple10 triple8) -> rule4))] @2: Fred is young.[(((triple11 triple10 ((triple7 triple10 triple8) -> rule4)) -> rule6))] @3: Fred is big.[(((((triple11 triple10 ((triple7 triple10 triple8) -> rule4)) -> rule6) ((triple7 triple10 triple8) -> rule4)) -> rule1) OR ((((triple11 triple10 ((triple7 triple10 triple8) -> rule4)) -> rule6) ((triple7 triple10 triple8) -> rule4) triple7) -> rule2))] Fred is round.[(((((triple11 triple10 ((triple7 triple10 triple8) -> rule4)) -> rule6) triple10 triple9) -> rule5))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Alan is big.
("Alan" "is" "big" "+")
((triple1 triple2) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple7 triple10 triple8) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple11 triple10 ((triple7 triple10 triple8) -> (rule4 % int2))) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((triple11 triple10 ((triple7 triple10 triple8) -> (rule4 % int3))) -> (rule6 % int2)) ((triple7 triple10 triple8) -> (rule4 % int3))) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((triple11 triple10 ((triple7 triple10 triple8) -> (rule4 % int3))) -> (rule6 % int2)) ((triple7 triple10 triple8) -> (rule4 % int3)) triple7) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
((((triple11 triple10 ((triple7 triple10 triple8) -> (rule4 % int3))) -> (rule6 % int2)) triple10 triple9) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Alan, like all young people, is nice.
Bob is blue from ink he spilled on himself while being kind and helping some children paint.
Charlie is big and tends to wear red shirts.
Fred is made of many colors, red and blue and green; He is also rough and cold.
Young and nice people have great big smiles.
A nice young person who is rough around the edges is big.
Any person who is blue and round, if they are kind at the same time, will be young.
A person fitting the description of rough, cold and red will also be a nice person.
That young person is feeling cold because he is green to the situation making his body shape round.
When a person is blue, cold, and nice, they are also pretty young too.