Dave looks red to most people, with blue features. Being new to the job, Eric is nice and green. Even though he is round he is red and cold out in the wind. Gary is rough, but often feels blue. He is pretty young. Whoever is rough and red must be kind. Kind people that are rough and round are also considered big. When someone is blue, lives green they can be rough but kind. People who are kind and green are very often rough. Someone who is nice, green, and cold, is always going to be young. Nice people who are looking green and seeing red usually feel rather rough.
Dave is red.
("Dave" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
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 blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and green and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Gary is young.
True
1
proof
[(triple8)]
("Gary" "is" "young" "+")
triple8
Gary is not young.
False
1
inv-proof
[(triple8)]
("Gary" "is" "young" "-")
triple8
Eric is young.
True
4
proof
[(((triple5 triple6 triple7) -> rule5))]
("Eric" "is" "young" "+")
((triple5 triple6 triple7) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is not young.
False
4
inv-proof
[(((triple5 triple6 triple7) -> rule5))]
("Eric" "is" "young" "-")
((triple5 triple6 triple7) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
True
6
proof
[(((((triple5 triple6 triple4) -> rule6) triple4) -> rule1))]
("Eric" "is" "kind" "+")
((((triple5 triple6 triple4) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not kind.
False
6
inv-proof
[(((((triple5 triple6 triple4) -> rule6) triple4) -> rule1))]
("Eric" "is" "kind" "-")
((((triple5 triple6 triple4) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is big.
True
12
proof
[(((((triple5 triple6 triple4) -> rule6) ((((triple5 triple6 triple4) -> rule6) triple4) -> rule1) triple3) -> rule2))]
("Eric" "is" "big" "+")
((((triple5 triple6 triple4) -> (rule6 % int3)) ((((triple5 triple6 triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not big.
False
12
inv-proof
[(((((triple5 triple6 triple4) -> rule6) ((((triple5 triple6 triple4) -> rule6) triple4) -> rule1) triple3) -> rule2))]
("Eric" "is" "big" "-")
((((triple5 triple6 triple4) -> (rule6 % int3)) ((((triple5 triple6 triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Dave is blue.[(triple2)] Dave is red.[(triple1)] Eric is cold.[(triple7)] Eric is green.[(triple6)] Eric is nice.[(triple5)] Eric is red.[(triple4)] Eric is round.[(triple3)] Gary is blue.[(triple10)] Gary is rough.[(triple9)] Gary is young.[(triple8)] @1: Eric is rough.[(((triple5 triple6 triple4) -> rule6))] Eric is young.[(((triple5 triple6 triple7) -> rule5))] @2: Eric is kind.[(((((triple5 triple6 triple4) -> rule6) triple4) -> rule1))] @3: Eric is big.[(((((triple5 triple6 triple4) -> rule6) ((((triple5 triple6 triple4) -> rule6) triple4) -> rule1) triple3) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
((triple5 triple6 triple4) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple5 triple6 triple7) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((((triple5 triple6 triple4) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((((triple5 triple6 triple4) -> (rule6 % int3)) ((((triple5 triple6 triple4) -> (rule6 % int3)) triple4) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Dave looks red to most people, with blue features.
Being new to the job, Eric is nice and green; Even though he is round he is red and cold out in the wind.
Gary is rough, but often feels blue; He is pretty young.
Whoever is rough and red must be kind.
Kind people that are rough and round are also considered big.
When someone is blue, lives green they can be rough but kind.
People who are kind and green are very often rough.
Someone who is nice, green, and cold, is always going to be young.
Nice people who are looking green and seeing red usually feel rather rough.