Alan is a man who is both round and rough. Bob ate some rotten meat and now feels green. Dave is too young to be so big. Some say he is too green to be so blue as well. Having a round body that is very big makes Harry a kind hearted person that often feels green. A cold, rough person is also round. I see it all the time, nice big people make equal a cold person. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. People that are green tend to be young. Anyone who's got young, round and big traits is bound to have a red trait, too.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big and round then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Harry is big.
True
1
proof
[(triple11)]
("Harry" "is" "big" "+")
triple11
Dave is not young.
False
1
inv-proof
[(triple4 OR ((triple5) -> rule4))]
("Dave" "is" "young" "-")
triple4
((triple5) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Bob is young.
True
2
proof
[(((triple3) -> rule4))]
("Bob" "is" "young" "+")
((triple3) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple3) -> rule4))]
("Bob" "is" "young" "-")
((triple3) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Harry is red.
True
5
proof
[(((((triple10) -> rule4) triple11 triple8) -> rule5))]
("Harry" "is" "red" "+")
((((triple10) -> (rule4 % int2)) triple11 triple8) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not red.
False
5
inv-proof
[(((((triple10) -> rule4) triple11 triple8) -> rule5))]
("Harry" "is" "red" "-")
((((triple10) -> (rule4 % int2)) triple11 triple8) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
True
8
proof
[(((triple11 triple8 ((((triple10) -> rule4) triple11 triple8) -> rule5)) -> rule3))]
("Harry" "is" "nice" "+")
((triple11 triple8 ((((triple10) -> (rule4 % int3)) triple11 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not nice.
False
8
inv-proof
[(((triple11 triple8 ((((triple10) -> rule4) triple11 triple8) -> rule5)) -> rule3))]
("Harry" "is" "nice" "-")
((triple11 triple8 ((((triple10) -> (rule4 % int3)) triple11 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is cold.
True
10
proof
[(((((triple11 triple8 ((((triple10) -> rule4) triple11 triple8) -> rule5)) -> rule3) triple11) -> rule2))]
("Harry" "is" "cold" "+")
((((triple11 triple8 ((((triple10) -> (rule4 % int4)) triple11 triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is not cold.
False
10
inv-proof
[(((((triple11 triple8 ((((triple10) -> rule4) triple11 triple8) -> rule5)) -> rule3) triple11) -> rule2))]
("Harry" "is" "cold" "-")
((((triple11 triple8 ((((triple10) -> (rule4 % int4)) triple11 triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "+")
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "young" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
@0: Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is green.[(triple3)] Dave is big.[(triple7)] Dave is blue.[(triple6)] Dave is green.[(triple5)] Dave is young.[(triple4 OR ((triple5) -> rule4))] Harry is big.[(triple11)] Harry is green.[(triple10)] Harry is kind.[(triple9)] Harry is round.[(triple8)] @1: Bob is young.[(((triple3) -> rule4))] Harry is young.[(((triple10) -> rule4))] @2: Harry is red.[(((((triple10) -> rule4) triple11 triple8) -> rule5))] @3: Harry is nice.[(((triple11 triple8 ((((triple10) -> rule4) triple11 triple8) -> rule5)) -> rule3))] @4: Harry is cold.[(((((triple11 triple8 ((((triple10) -> rule4) triple11 triple8) -> rule5)) -> rule3) triple11) -> rule2))]
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
((triple5) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Bob is young.
("Bob" "is" "young" "+")
((triple3) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple10) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((((triple10) -> (rule4 % int2)) triple11 triple8) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple11 triple8 ((((triple10) -> (rule4 % int3)) triple11 triple8) -> (rule5 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
((((triple11 triple8 ((((triple10) -> (rule4 % int4)) triple11 triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Alan is a man who is both round and rough.
Bob ate some rotten meat and now feels green.
Dave is too young to be so big; Some say he is too green to be so blue as well.
Having a round body that is very big makes Harry a kind hearted person that often feels green.
A cold, rough person is also round.
I see it all the time, nice big people make equal a cold person.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
People that are green tend to be young.
Anyone who's got young, round and big traits is bound to have a red trait, too.