Nice, but round, Bob has been said to be cold. Eric who is big in stature is almost always nice even when he is cold. Fred is so young and darling he is kind to all the old people on the block. Young Harry is a round fellow: sometimes nice, sometimes rough. Young, round, and cold people have a habit of looking pretty red. It's a fact that young people are red people. Red people feel blue about it. When someone feels cold, while being big and rough, they always turn out to be red. Anyone with red and blue coloration also has green coloration. A very nice and kind person will also be round shaped.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is cold and young and round then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and big and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Harry is round.
True
1
proof
[(triple10)]
("Harry" "is" "round" "+")
triple10
Harry is not nice.
False
1
inv-proof
[(triple12)]
("Harry" "is" "nice" "-")
triple12
Fred is red.
True
2
proof
[(((triple7) -> rule2))]
("Fred" "is" "red" "+")
((triple7) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple9) -> rule2))]
("Harry" "is" "red" "-")
((triple9) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
True
3
proof
[(((((triple9) -> rule2)) -> rule3))]
("Harry" "is" "blue" "+")
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not blue.
False
3
inv-proof
[(((((triple9) -> rule2)) -> rule3))]
("Harry" "is" "blue" "-")
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
True
6
proof
[(((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule3)) -> rule5))]
("Harry" "is" "green" "+")
((((triple9) -> (rule2 % int3)) ((((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Fred is not green.
False
6
inv-proof
[(((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule3)) -> rule5))]
("Fred" "is" "green" "-")
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "round" "-")
Bob is blue.
Unknown
rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Bob" "is" "blue" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "round" "-")
Bob is green.
Unknown
rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is cold.[(triple3)] Bob is nice.[(triple2)] Bob is round.[(triple1)] Eric is big.[(triple6)] Eric is cold.[(triple5)] Eric is nice.[(triple4)] Fred is kind.[(triple8)] Fred is young.[(triple7)] Harry is nice.[(triple12)] Harry is rough.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Fred is red.[(((triple7) -> rule2))] Harry is red.[(((triple9) -> rule2))] @2: Fred is blue.[(((((triple7) -> rule2)) -> rule3))] Harry is blue.[(((((triple9) -> rule2)) -> rule3))] @3: Fred is green.[(((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule3)) -> rule5))] Harry is green.[(((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule3)) -> rule5))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
((triple7) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple9) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((((triple9) -> (rule2 % int3)) ((((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Nice, but round, Bob has been said to be cold.
Eric who is big in stature is almost always nice even when he is cold.
Fred is so young and darling he is kind to all the old people on the block.
Young Harry is a round fellow: sometimes nice, sometimes rough.
Young, round, and cold people have a habit of looking pretty red.
It's a fact that young people are red people.
Red people feel blue about it.
When someone feels cold, while being big and rough, they always turn out to be red.
Anyone with red and blue coloration also has green coloration.
A very nice and kind person will also be round shaped.