Dave looks red to most people, with blue features. Eric is a nice, kind young man.  Eric keeps a sweater with him because he is always cold. Harry wears all blue. Young people green with envy are so focused on themselves that they are often describe as cold. That is misleading though because these people are also kind. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it. A person that is feeling blue and slightly big, is red as well. Most big and kind people,though young,are often blue.
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is green and cold and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is big and kind and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Harry is blue.
True
1
proof
[(triple7)]
("Harry" "is" "blue" "+")
triple7
Eric is not nice.
False
1
inv-proof
[(triple4)]
("Eric" "is" "nice" "-")
triple4
Eric is big.
True
3
proof
[(((triple6 triple4) -> rule2))]
("Eric" "is" "big" "+")
((triple6 triple4) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
3
inv-proof
[(((triple6 triple4) -> rule2))]
("Eric" "is" "big" "-")
((triple6 triple4) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
True
6
proof
[(((((triple6 triple4) -> rule2) triple5 triple3) -> rule4))]
("Eric" "is" "blue" "+")
((((triple6 triple4) -> (rule2 % int2)) triple5 triple3) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not blue.
False
6
inv-proof
[(((((triple6 triple4) -> rule2) triple5 triple3) -> rule4))]
("Eric" "is" "blue" "-")
((((triple6 triple4) -> (rule2 % int2)) triple5 triple3) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
True
10
proof
[(((((triple6 triple4) -> rule2) ((((triple6 triple4) -> rule2) triple5 triple3) -> rule4)) -> rule3))]
("Eric" "is" "red" "+")
((((triple6 triple4) -> (rule2 % int3)) ((((triple6 triple4) -> (rule2 % int3)) triple5 triple3) -> (rule4 % int2))) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not red.
False
10
inv-proof
[(((((triple6 triple4) -> rule2) ((((triple6 triple4) -> rule2) triple5 triple3) -> rule4)) -> rule3))]
("Eric" "is" "red" "-")
((((triple6 triple4) -> (rule2 % int3)) ((((triple6 triple4) -> (rule2 % int3)) triple5 triple3) -> (rule4 % int2))) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Charlie" "is" "red" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Dave is blue.[(triple2)] Dave is red.[(triple1)] Eric is cold.[(triple6)] Eric is kind.[(triple5)] Eric is nice.[(triple4)] Eric is young.[(triple3)] Harry is blue.[(triple7)] @1: Eric is big.[(((triple6 triple4) -> rule2))] @2: Eric is blue.[(((((triple6 triple4) -> rule2) triple5 triple3) -> rule4))] @3: Eric is red.[(((((triple6 triple4) -> rule2) ((((triple6 triple4) -> rule2) triple5 triple3) -> rule4)) -> rule3))]
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Eric is big.
("Eric" "is" "big" "+")
((triple6 triple4) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((((triple6 triple4) -> (rule2 % int2)) triple5 triple3) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((((triple6 triple4) -> (rule2 % int3)) ((((triple6 triple4) -> (rule2 % int3)) triple5 triple3) -> (rule4 % int2))) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Dave looks red to most people, with blue features.
Eric is a nice, kind young man; Eric keeps a sweater with him because he is always cold.
Harry wears all blue.
Young people green with envy are so focused on themselves that they are often describe as cold; That is misleading though because these people are also kind.
People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.
A person that is feeling blue and slightly big, is red as well.
Most big and kind people,though young,are often blue.