Dave wears all blue. It's easy to tell that Fred is young because he is so round. Even though he is kind it makes him green with envy of some people. Harry, like all young people, is nice. People who are rough, round in shape, and big in stature are usuallu blue in color. People who are described as young, green, and big are often considered rough. Blue and red people who are young always have rough skin. A round person will also be red. Generally, round and kind people are big.
Dave is blue.
("Dave" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is rough and round and big then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and green and young then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is round and kind then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Harry is young.
True
1
proof
[(triple6)]
("Harry" "is" "young" "+")
triple6
Fred is not green.
False
1
inv-proof
[(triple5)]
("Fred" "is" "green" "-")
triple5
Fred is big.
True
3
proof
[(((triple3 triple4) -> rule5))]
("Fred" "is" "big" "+")
((triple3 triple4) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is not red.
False
2
inv-proof
[(((triple3) -> rule4))]
("Fred" "is" "red" "-")
((triple3) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
True
6
proof
[(((((triple3 triple4) -> rule5) triple5 triple2) -> rule2))]
("Fred" "is" "rough" "+")
((((triple3 triple4) -> (rule5 % int2)) triple5 triple2) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is not rough.
False
6
inv-proof
[(((((triple3 triple4) -> rule5) triple5 triple2) -> rule2))]
("Fred" "is" "rough" "-")
((((triple3 triple4) -> (rule5 % int2)) triple5 triple2) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is blue.
True
11
proof
[(((((((triple3 triple4) -> rule5) triple5 triple2) -> rule2) triple3 ((triple3 triple4) -> rule5)) -> rule1))]
("Fred" "is" "blue" "+")
((((((triple3 triple4) -> (rule5 % int3)) triple5 triple2) -> (rule2 % int2)) triple3 ((triple3 triple4) -> (rule5 % int3))) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is not blue.
False
11
inv-proof
[(((((((triple3 triple4) -> rule5) triple5 triple2) -> rule2) triple3 ((triple3 triple4) -> rule5)) -> rule1))]
("Fred" "is" "blue" "-")
((((((triple3 triple4) -> (rule5 % int3)) triple5 triple2) -> (rule2 % int2)) triple3 ((triple3 triple4) -> (rule5 % int3))) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Dave is blue.[(triple1)] Fred is green.[(triple5)] Fred is kind.[(triple4)] Fred is round.[(triple3)] Fred is young.[(triple2)] Harry is nice.[(triple7)] Harry is young.[(triple6)] @1: Fred is big.[(((triple3 triple4) -> rule5))] Fred is red.[(((triple3) -> rule4))] @2: Fred is rough.[(((((triple3 triple4) -> rule5) triple5 triple2) -> rule2))] @3: Fred is blue.[(((((((triple3 triple4) -> rule5) triple5 triple2) -> rule2) triple3 ((triple3 triple4) -> rule5)) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple4
Fred is round.
("Fred" "is" "round" "+")
triple3
Fred is young.
("Fred" "is" "young" "+")
triple2
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
((triple3 triple4) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple3) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((((triple3 triple4) -> (rule5 % int2)) triple5 triple2) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((((((triple3 triple4) -> (rule5 % int3)) triple5 triple2) -> (rule2 % int2)) triple3 ((triple3 triple4) -> (rule5 % int3))) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Dave wears all blue.
It's easy to tell that Fred is young because he is so round; Even though he is kind it makes him green with envy of some people.
Harry, like all young people, is nice.
People who are rough, round in shape, and big in stature are usuallu blue in color.
People who are described as young, green, and big are often considered rough.
Blue and red people who are young always have rough skin.
A round person will also be red.
Generally, round and kind people are big.