People think that Alan is round. This might be because he is young and blue. Eric gets red when he is mad and tends to act very cold. Big Fred is nice but also rough. Big Gary is still young so it's easy for him to be kind. A young aged blue person will certainly be nice. Round and somewhat big people manage to be kind to everyone. A person who is cold, rough and young is also nice. If someone seems young, kind, and nice, expect them to be quite round. Most big and kind people,though young,are often blue. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
If someone is young and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and big then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and young and rough then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and kind and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is big and kind and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Eric is cold.
True
1
proof
[(triple5)]
("Eric" "is" "cold" "+")
triple5
Gary is not young.
False
1
inv-proof
[(triple9)]
("Gary" "is" "young" "-")
triple9
Alan is nice.
True
3
proof
[(((triple1 triple3) -> rule1))]
("Alan" "is" "nice" "+")
((triple1 triple3) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Gary is not blue.
False
4
inv-proof
[(((triple11 triple10 triple9) -> rule5))]
("Gary" "is" "blue" "-")
((triple11 triple10 triple9) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
True
6
proof
[(((triple9 ((triple11 triple10 triple9) -> rule5)) -> rule1))]
("Gary" "is" "nice" "+")
((triple9 ((triple11 triple10 triple9) -> (rule5 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not nice.
False
6
inv-proof
[(((triple9 ((triple11 triple10 triple9) -> rule5)) -> rule1))]
("Gary" "is" "nice" "-")
((triple9 ((triple11 triple10 triple9) -> (rule5 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
True
9
proof
[(((triple9 triple10 ((triple9 ((triple11 triple10 triple9) -> rule5)) -> rule1)) -> rule4))]
("Gary" "is" "round" "+")
((triple9 triple10 ((triple9 ((triple11 triple10 triple9) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not round.
False
9
inv-proof
[(((triple9 triple10 ((triple9 ((triple11 triple10 triple9) -> rule5)) -> rule1)) -> rule4))]
("Gary" "is" "round" "-")
((triple9 triple10 ((triple9 ((triple11 triple10 triple9) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "blue" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "kind" "+")
Eric is not nice.
Unknown
inv-rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "nice" "-")
Fred is kind.
Unknown
rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Fred" "is" "kind" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Alan is blue.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Eric is cold.[(triple5)] Eric is red.[(triple4)] Fred is big.[(triple8)] Fred is nice.[(triple7)] Fred is rough.[(triple6)] Gary is big.[(triple11)] Gary is kind.[(triple10)] Gary is young.[(triple9)] @1: Alan is nice.[(((triple1 triple3) -> rule1))] Gary is blue.[(((triple11 triple10 triple9) -> rule5))] @2: Gary is nice.[(((triple9 ((triple11 triple10 triple9) -> rule5)) -> rule1))] @3: Gary is round.[(((triple9 triple10 ((triple9 ((triple11 triple10 triple9) -> rule5)) -> rule1)) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Alan is nice.
("Alan" "is" "nice" "+")
((triple1 triple3) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple11 triple10 triple9) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple9 ((triple11 triple10 triple9) -> (rule5 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple9 triple10 ((triple9 ((triple11 triple10 triple9) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
People think that Alan is round; This might be because he is young and blue.
Eric gets red when he is mad and tends to act very cold.
Big Fred is nice but also rough.
Big Gary is still young so it's easy for him to be kind.
A young aged blue person will certainly be nice.
Round and somewhat big people manage to be kind to everyone.
A person who is cold, rough and young is also nice.
If someone seems young, kind, and nice, expect them to be quite round.
Most big and kind people,though young,are often blue.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.