Alan, a blue and green creature, was also big, rough and kind to others. Eric is round shaped and green colored. Big Fred is still young so it's easy for him to be kind. Harry was born only a few years ago so he is young. A person who is nice and green with envy is round. You can tell if someone is big, kind, and young, then they are also nice. A very nice and kind person will also be round shaped. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color. A big, green person who is cold is assumed to be red also. If someone is green like grass, kind like an angel and big as a barn, they are for sure young in years. If you meet a young and kind person who is also rough, they are cold, too.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is big and kind and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and cold and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and big and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green and kind and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Harry is young.
True
1
proof
[(triple11)]
("Harry" "is" "young" "+")
triple11
Harry is not young.
False
1
inv-proof
[(triple11)]
("Harry" "is" "young" "-")
triple11
Fred is nice.
True
4
proof
[(((triple10 triple9 triple8) -> rule2))]
("Fred" "is" "nice" "+")
((triple10 triple9 triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
4
inv-proof
[(((triple10 triple9 triple8) -> rule2))]
("Fred" "is" "nice" "-")
((triple10 triple9 triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Alan is cold.
True
7
proof
[(((triple1 ((triple3 triple2 triple5) -> rule6) triple2) -> rule7))]
("Alan" "is" "cold" "+")
((triple1 ((triple3 triple2 triple5) -> (rule6 % int2)) triple2) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is not nice.
False
7
inv-proof
[(((triple5 triple2 ((triple3 triple2 triple5) -> rule6)) -> rule2))]
("Alan" "is" "nice" "-")
((triple5 triple2 ((triple3 triple2 triple5) -> (rule6 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
True
9
proof
[(((((triple5 triple2 ((triple3 triple2 triple5) -> rule6)) -> rule2) triple2) -> rule3) OR ((((triple5 triple2 ((triple3 triple2 triple5) -> rule6)) -> rule2) triple3) -> rule1))]
("Alan" "is" "round" "+")
((((triple5 triple2 ((triple3 triple2 triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((((triple5 triple2 ((triple3 triple2 triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is not round.
False
9
inv-proof
[(((((triple5 triple2 ((triple3 triple2 triple5) -> rule6)) -> rule2) triple2) -> rule3) OR ((((triple5 triple2 ((triple3 triple2 triple5) -> rule6)) -> rule2) triple3) -> rule1))]
("Alan" "is" "round" "-")
((((triple5 triple2 ((triple3 triple2 triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((((triple5 triple2 ((triple3 triple2 triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "red" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "young" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "red" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
@0: Alan is big.[(triple5)] Alan is blue.[(triple4 OR ((((triple5 triple2 ((triple3 triple2 triple5) -> rule6)) -> rule2) ((triple1 ((triple3 triple2 triple5) -> rule6) triple2) -> rule7) triple5) -> rule4))] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is rough.[(triple1)] Eric is green.[(triple7)] Eric is round.[(triple6)] Fred is big.[(triple10)] Fred is kind.[(triple9)] Fred is young.[(triple8)] Harry is young.[(triple11)] @1: Alan is young.[(((triple3 triple2 triple5) -> rule6))] Fred is nice.[(((triple10 triple9 triple8) -> rule2))] @2: Alan is cold.[(((triple1 ((triple3 triple2 triple5) -> rule6) triple2) -> rule7))] Alan is nice.[(((triple5 triple2 ((triple3 triple2 triple5) -> rule6)) -> rule2))] Fred is round.[(((((triple10 triple9 triple8) -> rule2) triple9) -> rule3))] @3: Alan is red.[(((triple3 triple5 ((triple1 ((triple3 triple2 triple5) -> rule6) triple2) -> rule7)) -> rule5))] Alan is round.[(((((triple5 triple2 ((triple3 triple2 triple5) -> rule6)) -> rule2) triple2) -> rule3) OR ((((triple5 triple2 ((triple3 triple2 triple5) -> rule6)) -> rule2) triple3) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is blue.
("Alan" "is" "blue" "+")
triple4
((((triple5 triple2 ((triple3 triple2 triple5) -> (rule6 % int4))) -> (rule2 % int3)) ((triple1 ((triple3 triple2 triple5) -> (rule6 % int4)) triple2) -> (rule7 % int2)) triple5) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
int4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple11
Alan is young.
("Alan" "is" "young" "+")
((triple3 triple2 triple5) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple10 triple9 triple8) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
((triple1 ((triple3 triple2 triple5) -> (rule6 % int2)) triple2) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((triple5 triple2 ((triple3 triple2 triple5) -> (rule6 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((triple10 triple9 triple8) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((triple3 triple5 ((triple1 ((triple3 triple2 triple5) -> (rule6 % int3)) triple2) -> (rule7 % int2))) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
((((triple5 triple2 ((triple3 triple2 triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
((((triple5 triple2 ((triple3 triple2 triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan, a blue and green creature, was also big, rough and kind to others.
Eric is round shaped and green colored.
Big Fred is still young so it's easy for him to be kind.
Harry was born only a few years ago so he is young.
A person who is nice and green with envy is round.
You can tell if someone is big, kind, and young, then they are also nice.
A very nice and kind person will also be round shaped.
Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.
A big, green person who is cold is assumed to be red also.
If someone is green like grass, kind like an angel and big as a barn, they are for sure young in years.
If you meet a young and kind person who is also rough, they are cold, too.