Bob, a blue and green creature, was also big, rough and kind to others. Young, red Charlie is nice. Harry is young and green, so although he is rough and blue with sadness, he'll grow out of it. Someone who has a a young round face is often rough around the edges. A person with nice, blue traits who is young will surely be a round person. A big, blue person who is kind is also round. You make someone round and green, and they'll turn out nice. Among cold people, those who are round and kind are also rough. I believe that red, cold, rough people are likely to be green. People who are nice and kind are somewhat young.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and nice and young then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is round and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and round and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and red and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and nice then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Harry is green.
True
1
proof
[(triple11)]
("Harry" "is" "green" "+")
triple11
Harry is not rough.
False
1
inv-proof
[(triple10)]
("Harry" "is" "rough" "-")
triple10
Bob is round.
True
4
proof
[(((triple4 triple2 triple5) -> rule3))]
("Bob" "is" "round" "+")
((triple4 triple2 triple5) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
4
inv-proof
[(((triple4 triple2 triple5) -> rule3))]
("Bob" "is" "round" "-")
((triple4 triple2 triple5) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
True
6
proof
[(((((triple4 triple2 triple5) -> rule3) triple3) -> rule4))]
("Bob" "is" "nice" "+")
((((triple4 triple2 triple5) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not nice.
False
6
inv-proof
[(((((triple4 triple2 triple5) -> rule3) triple3) -> rule4))]
("Bob" "is" "nice" "-")
((((triple4 triple2 triple5) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
True
8
proof
[(((triple2 ((((triple4 triple2 triple5) -> rule3) triple3) -> rule4)) -> rule7))]
("Bob" "is" "young" "+")
((triple2 ((((triple4 triple2 triple5) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not young.
False
8
inv-proof
[(((triple2 ((((triple4 triple2 triple5) -> rule3) triple3) -> rule4)) -> rule7))]
("Bob" "is" "young" "-")
((triple2 ((((triple4 triple2 triple5) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Dave is not rough.
Unknown
inv-rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "rough" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "green" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "young" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Bob is big.[(triple5)] Bob is blue.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is rough.[(triple1 OR ((((triple4 triple2 triple5) -> rule3) ((triple2 ((((triple4 triple2 triple5) -> rule3) triple3) -> rule4)) -> rule7)) -> rule1))] Charlie is nice.[(triple8)] Charlie is red.[(triple7)] Charlie is young.[(triple6)] Harry is blue.[(triple12)] Harry is green.[(triple11)] Harry is rough.[(triple10)] Harry is young.[(triple9)] @1: Bob is round.[(((triple4 triple2 triple5) -> rule3))] @2: Bob is nice.[(((((triple4 triple2 triple5) -> rule3) triple3) -> rule4))] @3: Bob is young.[(((triple2 ((((triple4 triple2 triple5) -> rule3) triple3) -> rule4)) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
((((triple4 triple2 triple5) -> (rule3 % int4)) ((triple2 ((((triple4 triple2 triple5) -> (rule3 % int4)) triple3) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Bob is round.
("Bob" "is" "round" "+")
((triple4 triple2 triple5) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple4 triple2 triple5) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple2 ((((triple4 triple2 triple5) -> (rule3 % int3)) triple3) -> (rule4 % int2))) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob, a blue and green creature, was also big, rough and kind to others.
Young, red Charlie is nice.
Harry is young and green, so although he is rough and blue with sadness, he'll grow out of it.
Someone who has a a young round face is often rough around the edges.
A person with nice, blue traits who is young will surely be a round person.
A big, blue person who is kind is also round.
You make someone round and green, and they'll turn out nice.
Among cold people, those who are round and kind are also rough.
I believe that red, cold, rough people are likely to be green.
People who are nice and kind are somewhat young.