Eric is rough, but often feels blue. He is pretty young. Gary ate some rotten meat and now feels green. Harry happens to be a big man who is very nice and kind. he has one green eye and the other one is blue. Round, blue, and green people are poften rough. A big, kind someone could also be cold in a green dress. If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold. Every time I see a young blue nice person I know they are also red. If you meet someone who is big and kind with cold skin, they will be young.
If someone is blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and kind and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is big and green and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and young and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and cold and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Eric is blue.
True
1
proof
[(triple3)]
("Eric" "is" "blue" "+")
triple3
Harry is not nice.
False
1
inv-proof
[(triple5)]
("Harry" "is" "nice" "-")
triple5
Harry is cold.
True
4
proof
[(((triple9 triple7 triple6) -> rule3))]
("Harry" "is" "cold" "+")
((triple9 triple7 triple6) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
4
inv-proof
[(((triple9 triple7 triple6) -> rule3))]
("Harry" "is" "cold" "-")
((triple9 triple7 triple6) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
True
7
proof
[(((triple6 ((triple9 triple7 triple6) -> rule3) triple9) -> rule5))]
("Harry" "is" "young" "+")
((triple6 ((triple9 triple7 triple6) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not young.
False
7
inv-proof
[(((triple6 ((triple9 triple7 triple6) -> rule3) triple9) -> rule5))]
("Harry" "is" "young" "-")
((triple6 ((triple9 triple7 triple6) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
True
10
proof
[(((triple5 ((triple6 ((triple9 triple7 triple6) -> rule3) triple9) -> rule5) triple8) -> rule4))]
("Harry" "is" "red" "+")
((triple5 ((triple6 ((triple9 triple7 triple6) -> (rule3 % int3)) triple9) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is not red.
False
10
inv-proof
[(((triple5 ((triple6 ((triple9 triple7 triple6) -> rule3) triple9) -> rule5) triple8) -> rule4))]
("Harry" "is" "red" "-")
((triple5 ((triple6 ((triple9 triple7 triple6) -> (rule3 % int3)) triple9) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "young" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "cold" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "cold" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "rough" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
@0: Eric is blue.[(triple3)] Eric is rough.[(triple2)] Eric is young.[(triple1)] Gary is green.[(triple4)] Harry is big.[(triple9)] Harry is blue.[(triple8)] Harry is green.[(triple7)] Harry is kind.[(triple6)] Harry is nice.[(triple5)] @1: Harry is cold.[(((triple9 triple7 triple6) -> rule3))] @2: Harry is young.[(((triple6 ((triple9 triple7 triple6) -> rule3) triple9) -> rule5))] @3: Harry is red.[(((triple5 ((triple6 ((triple9 triple7 triple6) -> rule3) triple9) -> rule5) triple8) -> rule4))]
Eric is blue.
("Eric" "is" "blue" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
((triple9 triple7 triple6) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple6 ((triple9 triple7 triple6) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple5 ((triple6 ((triple9 triple7 triple6) -> (rule3 % int3)) triple9) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Eric is rough, but often feels blue; He is pretty young.
Gary ate some rotten meat and now feels green.
Harry happens to be a big man who is very nice and kind; he has one green eye and the other one is blue.
Round, blue, and green people are poften rough.
A big, kind someone could also be cold in a green dress.
If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold.
Every time I see a young blue nice person I know they are also red.
If you meet someone who is big and kind with cold skin, they will be young.