Having a round body that is very big makes Alan a kind hearted person that often feels green. Bob always goes out of his way to show that he is kind to people. Gary has rough skin so it is red. He is big but so very kind. Harry's a round guy, and a red and green guy. A big person who feels cold and has blue skin is a nice person. People who can be kind when they are cold are fundamentally nice. A person that is both green and red tends to be cold as well. A round shaped and red person is definitely nice. Someone with rough, big traits will be a green person, as well. A kind person who look green and is round in shape is usually big in stature. When someone is rough like sandpaper and young like a tadpole they are always round.
Alan is round.
("Alan" "is" "round" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is cold and blue and big then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is round and kind and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and young then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Harry is green.
True
1
proof
[(triple12)]
("Harry" "is" "green" "+")
triple12
Alan is not green.
False
1
inv-proof
[(triple3)]
("Alan" "is" "green" "-")
triple3
Gary is green.
True
3
proof
[(((triple6 triple9) -> rule5))]
("Gary" "is" "green" "+")
((triple6 triple9) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple6 triple9) -> rule5))]
("Gary" "is" "green" "-")
((triple6 triple9) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
True
5
proof
[(((((triple6 triple9) -> rule5) triple7) -> rule3))]
("Gary" "is" "cold" "+")
((((triple6 triple9) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not cold.
False
5
inv-proof
[(((((triple6 triple9) -> rule5) triple7) -> rule3))]
("Gary" "is" "cold" "-")
((((triple6 triple9) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
True
7
proof
[(((triple8 ((((triple6 triple9) -> rule5) triple7) -> rule3)) -> rule2))]
("Gary" "is" "nice" "+")
((triple8 ((((triple6 triple9) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not nice.
False
7
inv-proof
[(((triple8 ((((triple6 triple9) -> rule5) triple7) -> rule3)) -> rule2))]
("Gary" "is" "nice" "-")
((triple8 ((((triple6 triple9) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@2: Bob is nice.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is big.
Unknown
rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "round" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "round" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Alan is big.[(triple4 OR ((triple1 triple2 triple3) -> rule6))] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is round.[(triple1)] Bob is kind.[(triple5)] Gary is big.[(triple9)] Gary is kind.[(triple8)] Gary is red.[(triple7)] Gary is rough.[(triple6)] Harry is green.[(triple12)] Harry is red.[(triple11)] Harry is round.[(triple10)] @1: Gary is green.[(((triple6 triple9) -> rule5))] Harry is cold.[(((triple12 triple11) -> rule3))] Harry is nice.[(((triple10 triple11) -> rule4))] @2: Gary is cold.[(((((triple6 triple9) -> rule5) triple7) -> rule3))] @3: Gary is nice.[(((triple8 ((((triple6 triple9) -> rule5) triple7) -> rule3)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple4
((triple1 triple2 triple3) -> (rule6 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
((triple6 triple9) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple12 triple11) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple10 triple11) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple6 triple9) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((triple8 ((((triple6 triple9) -> (rule5 % int3)) triple7) -> (rule3 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Having a round body that is very big makes Alan a kind hearted person that often feels green.
Bob always goes out of his way to show that he is kind to people.
Gary has rough skin so it is red; He is big but so very kind.
Harry's a round guy, and a red and green guy.
A big person who feels cold and has blue skin is a nice person.
People who can be kind when they are cold are fundamentally nice.
A person that is both green and red tends to be cold as well.
A round shaped and red person is definitely nice.
Someone with rough, big traits will be a green person, as well.
A kind person who look green and is round in shape is usually big in stature.
When someone is rough like sandpaper and young like a tadpole they are always round.