Alan's a young guy who is big, red and round. Additionally, he's both kind and cold. Dave ate some rotten meat and now feels green. Fred is young and kind.  But he plays really rough with his friends. Harry is green, which is a possible explanation for why he is so nice. Because someone is green and kind they are extremely nice to people. A nice, big person that is red is usually young. A round shaped and young aged person will be very cold. Round people who feel rough also always feel cold,. Green people will be nice even when they have been rough. A big rough person are also young of age. Round people are often red before they turn green.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and red and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and nice then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and rough then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is round and red then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Alan is kind.
True
1
proof
[(triple4)]
("Alan" "is" "kind" "+")
triple4
Harry is not nice.
False
1
inv-proof
[(triple11)]
("Harry" "is" "nice" "-")
triple11
Alan is green.
True
3
proof
[(((triple2 triple3) -> rule7))]
("Alan" "is" "green" "+")
((triple2 triple3) -> (rule7 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple12 triple11) -> rule5))]
("Harry" "is" "rough" "-")
((triple12 triple11) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Alan is nice.
True
5
proof
[(((((triple2 triple3) -> rule7) triple4) -> rule1))]
("Alan" "is" "nice" "+")
((((triple2 triple3) -> (rule7 % int2)) triple4) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not nice.
False
5
inv-proof
[(((((triple2 triple3) -> rule7) triple4) -> rule1))]
("Alan" "is" "nice" "-")
((((triple2 triple3) -> (rule7 % int2)) triple4) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is rough.
True
9
proof
[(((((triple2 triple3) -> rule7) ((((triple2 triple3) -> rule7) triple4) -> rule1)) -> rule5))]
("Alan" "is" "rough" "+")
((((triple2 triple3) -> (rule7 % int3)) ((((triple2 triple3) -> (rule7 % int3)) triple4) -> (rule1 % int2))) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not rough.
False
9
inv-proof
[(((((triple2 triple3) -> rule7) ((((triple2 triple3) -> rule7) triple4) -> rule1)) -> rule5))]
("Alan" "is" "rough" "-")
((((triple2 triple3) -> (rule7 % int3)) ((((triple2 triple3) -> (rule7 % int3)) triple4) -> (rule1 % int2))) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "green" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Alan is big.[(triple6)] Alan is cold.[(triple5 OR ((triple2 triple1) -> rule3) OR ((triple2 ((((((triple2 triple3) -> rule7) triple4) -> rule1) triple3 triple6) -> rule2)) -> rule3) OR ((triple2 ((((triple2 triple3) -> rule7) ((((triple2 triple3) -> rule7) triple4) -> rule1)) -> rule5)) -> rule4) OR ((triple2 ((triple6 ((((triple2 triple3) -> rule7) ((((triple2 triple3) -> rule7) triple4) -> rule1)) -> rule5)) -> rule6)) -> rule3))] Alan is kind.[(triple4)] Alan is red.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1 OR ((((((triple2 triple3) -> rule7) triple4) -> rule1) triple3 triple6) -> rule2) OR ((triple6 ((((triple2 triple3) -> rule7) ((((triple2 triple3) -> rule7) triple4) -> rule1)) -> rule5)) -> rule6))] Dave is green.[(triple7)] Fred is kind.[(triple10)] Fred is rough.[(triple9)] Fred is young.[(triple8)] Harry is green.[(triple12)] Harry is nice.[(triple11)] @1: Alan is green.[(((triple2 triple3) -> rule7))] Harry is rough.[(((triple12 triple11) -> rule5))] @2: Alan is nice.[(((((triple2 triple3) -> rule7) triple4) -> rule1))] @3: Alan is rough.[(((((triple2 triple3) -> rule7) ((((triple2 triple3) -> rule7) triple4) -> rule1)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple6
Alan is cold.
("Alan" "is" "cold" "+")
triple5
((triple2 triple1) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
((triple2 ((((((triple2 triple3) -> (rule7 % int4)) triple4) -> (rule1 % int3)) triple3 triple6) -> (rule2 % int2))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((triple2 ((((triple2 triple3) -> (rule7 % int4)) ((((triple2 triple3) -> (rule7 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
((triple2 ((triple6 ((((triple2 triple3) -> (rule7 % int5)) ((((triple2 triple3) -> (rule7 % int5)) triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Alan is green.
("Alan" "is" "green" "+")
int5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
((((((triple2 triple3) -> (rule7 % int3)) triple4) -> (rule1 % int2)) triple3 triple6) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
((triple6 ((((triple2 triple3) -> (rule7 % int4)) ((((triple2 triple3) -> (rule7 % int4)) triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Alan is green.
("Alan" "is" "green" "+")
((triple2 triple3) -> (rule7 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple12 triple11) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple2 triple3) -> (rule7 % int2)) triple4) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((((triple2 triple3) -> (rule7 % int3)) ((((triple2 triple3) -> (rule7 % int3)) triple4) -> (rule1 % int2))) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan's a young guy who is big, red and round; Additionally, he's both kind and cold.
Dave ate some rotten meat and now feels green.
Fred is young and kind; But he plays really rough with his friends.
Harry is green, which is a possible explanation for why he is so nice.
Because someone is green and kind they are extremely nice to people.
A nice, big person that is red is usually young.
A round shaped and young aged person will be very cold.
Round people who feel rough also always feel cold,.
Green people will be nice even when they have been rough.
A big rough person are also young of age.
Round people are often red before they turn green.