Bob was born only a few years ago so he is young. Fred is round shaped and green colored. Big, round Harry is cold and very green. If you see someone who is red and green they are round, like Santa Claus. When a kind person is feeling cold with red skin, they will be round as well. Anyone that's rough and cold is also going to be blue. Have you noticed that green and round folks are also so young. A young, green person who is cold is rough around the edges. If you meet a young and kind person who is also rough, they are cold, too.
Bob is young.
("Bob" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and kind and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and green and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Bob is young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Fred is not round.
False
1
inv-proof
[(triple2)]
("Fred" "is" "round" "-")
triple2
Fred is young.
True
3
proof
[(((triple3 triple2) -> rule4))]
("Fred" "is" "young" "+")
((triple3 triple2) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Harry is not young.
False
3
inv-proof
[(((triple5 triple4) -> rule4))]
("Harry" "is" "young" "-")
((triple5 triple4) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
True
6
proof
[(((triple6 triple5 ((triple5 triple4) -> rule4)) -> rule5))]
("Harry" "is" "rough" "+")
((triple6 triple5 ((triple5 triple4) -> (rule4 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not rough.
False
6
inv-proof
[(((triple6 triple5 ((triple5 triple4) -> rule4)) -> rule5))]
("Harry" "is" "rough" "-")
((triple6 triple5 ((triple5 triple4) -> (rule4 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
True
8
proof
[(((triple6 ((triple6 triple5 ((triple5 triple4) -> rule4)) -> rule5)) -> rule3))]
("Harry" "is" "blue" "+")
((triple6 ((triple6 triple5 ((triple5 triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not blue.
False
8
inv-proof
[(((triple6 ((triple6 triple5 ((triple5 triple4) -> rule4)) -> rule5)) -> rule3))]
("Harry" "is" "blue" "-")
((triple6 ((triple6 triple5 ((triple5 triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is blue.
Unknown
rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Eric" "is" "blue" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "round" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "cold" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is young.[(triple1)] Fred is green.[(triple3)] Fred is round.[(triple2)] Harry is big.[(triple7)] Harry is cold.[(triple6)] Harry is green.[(triple5)] Harry is round.[(triple4)] @1: Fred is young.[(((triple3 triple2) -> rule4))] Harry is young.[(((triple5 triple4) -> rule4))] @2: Harry is rough.[(((triple6 triple5 ((triple5 triple4) -> rule4)) -> rule5))] @3: Harry is blue.[(((triple6 ((triple6 triple5 ((triple5 triple4) -> rule4)) -> rule5)) -> rule3))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple3
Fred is round.
("Fred" "is" "round" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple4
Fred is young.
("Fred" "is" "young" "+")
((triple3 triple2) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple5 triple4) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple6 triple5 ((triple5 triple4) -> (rule4 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple6 ((triple6 triple5 ((triple5 triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Bob was born only a few years ago so he is young.
Fred is round shaped and green colored.
Big, round Harry is cold and very green.
If you see someone who is red and green they are round, like Santa Claus.
When a kind person is feeling cold with red skin, they will be round as well.
Anyone that's rough and cold is also going to be blue.
Have you noticed that green and round folks are also so young.
A young, green person who is cold is rough around the edges.
If you meet a young and kind person who is also rough, they are cold, too.