Though he is young, Alan is still nice despite being quite blue. In the snow sits Dave, crying from being cold. That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Fred. Harry wears all blue. Kind big people are green and young. Don't be surprised to hear that all nice, kind folks are in fact rough. A person that is feeling blue and slightly big, is red as well. A person who is green and kind is usually rather big. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind. Nice green people who feel blue are often red in color. Anyone who's blue is also green.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is kind and green and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is green and kind then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and nice and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and blue and nice then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Alan is young.
True
1
proof
[(triple1)]
("Alan" "is" "young" "+")
triple1
Fred is not round.
False
1
inv-proof
[(triple5)]
("Fred" "is" "round" "-")
triple5
Alan is green.
True
2
proof
[(((triple3) -> rule7))]
("Alan" "is" "green" "+")
((triple3) -> (rule7 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple11) -> rule7))]
("Harry" "is" "green" "-")
((triple11) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Fred is big.
True
4
proof
[(((((triple10) -> rule7) triple8) -> rule4))]
("Fred" "is" "big" "+")
((((triple10) -> (rule7 % int2)) triple8) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Alan is not red.
False
5
inv-proof
[(((((triple3) -> rule7) triple3 triple2) -> rule6))]
("Alan" "is" "red" "-")
((((triple3) -> (rule7 % int2)) triple3 triple2) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Fred is young.
True
8
proof
[(((triple8 ((triple10) -> rule7) ((((triple10) -> rule7) triple8) -> rule4)) -> rule1))]
("Fred" "is" "young" "+")
((triple8 ((triple10) -> (rule7 % int3)) ((((triple10) -> (rule7 % int3)) triple8) -> (rule4 % int2))) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not young.
False
8
inv-proof
[(((triple8 ((triple10) -> rule7) ((((triple10) -> rule7) triple8) -> rule4)) -> rule1))]
("Fred" "is" "young" "-")
((triple8 ((triple10) -> (rule7 % int3)) ((((triple10) -> (rule7 % int3)) triple8) -> (rule4 % int2))) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "kind" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "+")
Alan is not big.
Unknown
inv-rconc
[@2: Alan is big.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Alan" "is" "big" "-")
Harry is big.
Unknown
rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Harry" "is" "big" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Alan is blue.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Dave is cold.[(triple4)] Fred is blue.[(triple10)] Fred is cold.[(triple9)] Fred is kind.[(triple8)] Fred is red.[(triple7 OR ((((((triple10) -> rule7) triple8) -> rule4) triple10) -> rule3))] Fred is rough.[(triple6)] Fred is round.[(triple5)] Harry is blue.[(triple11)] @1: Alan is green.[(((triple3) -> rule7))] Fred is green.[(((triple10) -> rule7))] Harry is green.[(((triple11) -> rule7))] @2: Alan is red.[(((((triple3) -> rule7) triple3 triple2) -> rule6))] Fred is big.[(((((triple10) -> rule7) triple8) -> rule4))] @3: Fred is young.[(((triple8 ((triple10) -> rule7) ((((triple10) -> rule7) triple8) -> rule4)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
((((((triple10) -> (rule7 % int3)) triple8) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Alan is green.
("Alan" "is" "green" "+")
((triple3) -> (rule7 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple10) -> (rule7 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple11) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((((triple3) -> (rule7 % int2)) triple3 triple2) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((triple10) -> (rule7 % int2)) triple8) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((triple8 ((triple10) -> (rule7 % int3)) ((((triple10) -> (rule7 % int3)) triple8) -> (rule4 % int2))) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Though he is young, Alan is still nice despite being quite blue.
In the snow sits Dave, crying from being cold.
That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Fred.
Harry wears all blue.
Kind big people are green and young.
Don't be surprised to hear that all nice, kind folks are in fact rough.
A person that is feeling blue and slightly big, is red as well.
A person who is green and kind is usually rather big.
Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.
Nice green people who feel blue are often red in color.
Anyone who's blue is also green.