I knew Alan was young, and rough, but he surprised me with how cold and blue he acted. Dave ate some rotten meat and now feels green. Eric is a rough man with a big heart who has red hair and a nice smile. All kind, red, and young people are also nice. A person that is cold, blue and nice is also considered to be round. Kind people that are rough and round are also considered big. I've noticed that kind people are also big. Young people who are big, downhearted, and blue are kind. A big person with cold, rough skin is going to be green as well. If you find that someone has rough blue skin they are always kind.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is kind and red and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and blue and nice then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and kind and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and cold and rough then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Eric is rough.
True
1
proof
[(triple6)]
("Eric" "is" "rough" "+")
triple6
Eric is not rough.
False
1
inv-proof
[(triple6)]
("Eric" "is" "rough" "-")
triple6
Alan is kind.
True
3
proof
[(((triple2 triple4) -> rule7))]
("Alan" "is" "kind" "+")
((triple2 triple4) -> (rule7 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is not kind.
False
3
inv-proof
[(((triple2 triple4) -> rule7))]
("Alan" "is" "kind" "-")
((triple2 triple4) -> (rule7 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
True
4
proof
[(((((triple2 triple4) -> rule7)) -> rule4))]
("Alan" "is" "big" "+")
((((triple2 triple4) -> (rule7 % int2))) -> (rule4 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is not big.
False
4
inv-proof
[(((((triple2 triple4) -> rule7)) -> rule4))]
("Alan" "is" "big" "-")
((((triple2 triple4) -> (rule7 % int2))) -> (rule4 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
True
7
proof
[(((((((triple2 triple4) -> rule7)) -> rule4) triple3 triple2) -> rule6))]
("Alan" "is" "green" "+")
((((((triple2 triple4) -> (rule7 % int3))) -> (rule4 % int2)) triple3 triple2) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not green.
False
7
inv-proof
[(((((((triple2 triple4) -> rule7)) -> rule4) triple3 triple2) -> rule6))]
("Alan" "is" "green" "-")
((((((triple2 triple4) -> (rule7 % int3))) -> (rule4 % int2)) triple3 triple2) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "-")
Dave is big.
Unknown
rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Dave" "is" "big" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "green" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "kind" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Dave is green.[(triple5)] Eric is big.[(triple9)] Eric is nice.[(triple8)] Eric is red.[(triple7)] Eric is rough.[(triple6)] @1: Alan is kind.[(((triple2 triple4) -> rule7))] @2: Alan is big.[(((((triple2 triple4) -> rule7)) -> rule4))] @3: Alan is green.[(((((((triple2 triple4) -> rule7)) -> rule4) triple3 triple2) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 triple4) -> (rule7 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
((((triple2 triple4) -> (rule7 % int2))) -> (rule4 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
((((((triple2 triple4) -> (rule7 % int3))) -> (rule4 % int2)) triple3 triple2) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
I knew Alan was young, and rough, but he surprised me with how cold and blue he acted.
Dave ate some rotten meat and now feels green.
Eric is a rough man with a big heart who has red hair and a nice smile.
All kind, red, and young people are also nice.
A person that is cold, blue and nice is also considered to be round.
Kind people that are rough and round are also considered big.
I've noticed that kind people are also big.
Young people who are big, downhearted, and blue are kind.
A big person with cold, rough skin is going to be green as well.
If you find that someone has rough blue skin they are always kind.