Alan was born only a few years ago so he is young. Bob is colored blue and red. He is also kind and cold to the touch. Red Charlie is what folks call him, because he is quite red. Harry can be rather rough, but surprisingly loves the green. He can be rather blue, and is unusually big. A cold, rough person is also round. Cold people,though green and red,tend to be rough. A green colored, nice and young person will be big shaped. People that feel green are cold to people that try to help them. When you meet someone that's rough, kind and nice you'll see they are green as well. People blue with cold are definitely green and new in these parts.
Alan is young.
("Alan" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and green and red then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and green and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and kind and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Bob is cold.
True
1
proof
[(triple4)]
("Bob" "is" "cold" "+")
triple4
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Harry is cold.
True
2
proof
[(((triple8) -> rule4))]
("Harry" "is" "cold" "+")
((triple8) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Bob is not green.
False
3
inv-proof
[(((triple5 triple4) -> rule6))]
("Bob" "is" "green" "-")
((triple5 triple4) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Harry is round.
True
4
proof
[(((triple7 ((triple8) -> rule4)) -> rule1))]
("Harry" "is" "round" "+")
((triple7 ((triple8) -> (rule4 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not round.
False
4
inv-proof
[(((triple7 ((triple8) -> rule4)) -> rule1))]
("Harry" "is" "round" "-")
((triple7 ((triple8) -> (rule4 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Bob is round.
True
8
proof
[(((((triple4 ((triple5 triple4) -> rule6) triple2) -> rule2) triple4) -> rule1))]
("Bob" "is" "round" "+")
((((triple4 ((triple5 triple4) -> (rule6 % int3)) triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not round.
False
8
inv-proof
[(((((triple4 ((triple5 triple4) -> rule6) triple2) -> rule2) triple4) -> rule1))]
("Bob" "is" "round" "-")
((((triple4 ((triple5 triple4) -> (rule6 % int3)) triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "big" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Charlie" "is" "cold" "+")
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "big" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Alan is young.[(triple1)] Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is red.[(triple2)] Charlie is red.[(triple6)] Harry is big.[(triple10)] Harry is blue.[(triple9)] Harry is green.[(triple8)] Harry is rough.[(triple7)] @1: Bob is green.[(((triple5 triple4) -> rule6))] Harry is cold.[(((triple8) -> rule4))] @2: Bob is rough.[(((triple4 ((triple5 triple4) -> rule6) triple2) -> rule2))] Harry is round.[(((triple7 ((triple8) -> rule4)) -> rule1))] @3: Bob is round.[(((((triple4 ((triple5 triple4) -> rule6) triple2) -> rule2) triple4) -> rule1))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
((triple5 triple4) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple8) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple4 ((triple5 triple4) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple7 ((triple8) -> (rule4 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((triple4 ((triple5 triple4) -> (rule6 % int3)) triple2) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Alan was born only a few years ago so he is young.
Bob is colored blue and red; He is also kind and cold to the touch.
Red Charlie is what folks call him, because he is quite red.
Harry can be rather rough, but surprisingly loves the green; He can be rather blue, and is unusually big.
A cold, rough person is also round.
Cold people,though green and red,tend to be rough.
A green colored, nice and young person will be big shaped.
People that feel green are cold to people that try to help them.
When you meet someone that's rough, kind and nice you'll see they are green as well.
People blue with cold are definitely green and new in these parts.