From a certain angle Bob is blue but he is young so maybe that will go away. Dave, a blue and green creature, was also big, rough and kind to others. Eric became so big that he is now very round. Fortunately the rather green man is still nice. A cold person with a round figure who is kind to others is nice as well. Whenever you are around kind and green people, you will notice they are very red. People who are blue and red and kind are described as being green. As someone can be round and rough, they can also be nice and kind. Kind people,though green,tend to be nice. A person who is very round is nice but also quite rough. Young people are rough.
Bob is young.
("Bob" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is kind and cold and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is red and kind and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and round and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and nice then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Dave is green.
True
1
proof
[(triple5)]
("Dave" "is" "green" "+")
triple5
Dave is not green.
False
1
inv-proof
[(triple5)]
("Dave" "is" "green" "-")
triple5
Eric is rough.
True
3
proof
[(((triple8 triple9) -> rule6))]
("Eric" "is" "rough" "+")
((triple8 triple9) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple4 triple5) -> rule5))]
("Dave" "is" "nice" "-")
((triple4 triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Eric is kind.
True
6
proof
[(((triple9 triple8 ((triple8 triple9) -> rule6)) -> rule4))]
("Eric" "is" "kind" "+")
((triple9 triple8 ((triple8 triple9) -> (rule6 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not kind.
False
6
inv-proof
[(((triple9 triple8 ((triple8 triple9) -> rule6)) -> rule4))]
("Eric" "is" "kind" "-")
((triple9 triple8 ((triple8 triple9) -> (rule6 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is red.
True
8
proof
[(((((triple9 triple8 ((triple8 triple9) -> rule6)) -> rule4) triple10) -> rule2))]
("Eric" "is" "red" "+")
((((triple9 triple8 ((triple8 triple9) -> (rule6 % int3))) -> (rule4 % int2)) triple10) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not red.
False
8
inv-proof
[(((((triple9 triple8 ((triple8 triple9) -> rule6)) -> rule4) triple10) -> rule2))]
("Eric" "is" "red" "-")
((((triple9 triple8 ((triple8 triple9) -> (rule6 % int3))) -> (rule4 % int2)) triple10) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Harry is not red.
Unknown
inv-rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is nice.
Unknown
rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Harry" "is" "nice" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Bob is blue.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple7)] Dave is blue.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4)] Dave is rough.[(triple3)] Eric is big.[(triple11)] Eric is green.[(triple10)] Eric is nice.[(triple9)] Eric is round.[(triple8)] @1: Bob is rough.[(((triple1) -> rule7))] Dave is nice.[(((triple4 triple5) -> rule5))] Dave is red.[(((triple4 triple5) -> rule2))] Eric is rough.[(((triple8 triple9) -> rule6))] @2: Eric is kind.[(((triple9 triple8 ((triple8 triple9) -> rule6)) -> rule4))] @3: Eric is red.[(((((triple9 triple8 ((triple8 triple9) -> rule6)) -> rule4) triple10) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple11
Eric is green.
("Eric" "is" "green" "+")
triple10
Eric is nice.
("Eric" "is" "nice" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
Bob is rough.
("Bob" "is" "rough" "+")
((triple1) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple4 triple5) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple4 triple5) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple8 triple9) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple9 triple8 ((triple8 triple9) -> (rule6 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((((triple9 triple8 ((triple8 triple9) -> (rule6 % int3))) -> (rule4 % int2)) triple10) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
From a certain angle Bob is blue but he is young so maybe that will go away.
Dave, a blue and green creature, was also big, rough and kind to others.
Eric became so big that he is now very round; Fortunately the rather green man is still nice.
A cold person with a round figure who is kind to others is nice as well.
Whenever you are around kind and green people, you will notice they are very red.
People who are blue and red and kind are described as being green.
As someone can be round and rough, they can also be nice and kind.
Kind people,though green,tend to be nice.
A person who is very round is nice but also quite rough.
Young people are rough.