Alan was born only a few years ago so he is young. Dave wears all blue. If you had seen the young round Fred you'd never believe he was the same red, green and rough Fred of today. Gary is big and dresses in blue. A big young person that is green will be cold to others. A kind and big person is young. You can tell if someone is big, kind, and young, then they are also nice. It is true that anyone who is cold while being young and nice is secretly a kind person. A big and blue colored person is also certainly very kind. A big and rough person who is blue is also considered to be green. People who are nice, big, and also rough, are considered red.
Alan is young.
("Alan" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is green and young and big then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is big and kind and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and cold and young then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and big and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and big and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Fred is red.
True
1
proof
[(triple6)]
("Fred" "is" "red" "+")
triple6
Fred is not rough.
False
1
inv-proof
[(triple5)]
("Fred" "is" "rough" "-")
triple5
Gary is kind.
True
3
proof
[(((triple8 triple9) -> rule5))]
("Gary" "is" "kind" "+")
((triple8 triple9) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
3
inv-proof
[(((triple8 triple9) -> rule5))]
("Gary" "is" "kind" "-")
((triple8 triple9) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
True
5
proof
[(((triple9 ((triple8 triple9) -> rule5)) -> rule2))]
("Gary" "is" "young" "+")
((triple9 ((triple8 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not young.
False
5
inv-proof
[(((triple9 ((triple8 triple9) -> rule5)) -> rule2))]
("Gary" "is" "young" "-")
((triple9 ((triple8 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
True
10
proof
[(((triple9 ((triple8 triple9) -> rule5) ((triple9 ((triple8 triple9) -> rule5)) -> rule2)) -> rule3))]
("Gary" "is" "nice" "+")
((triple9 ((triple8 triple9) -> (rule5 % int3)) ((triple9 ((triple8 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not nice.
False
10
inv-proof
[(((triple9 ((triple8 triple9) -> rule5) ((triple9 ((triple8 triple9) -> rule5)) -> rule2)) -> rule3))]
("Gary" "is" "nice" "-")
((triple9 ((triple8 triple9) -> (rule5 % int3)) ((triple9 ((triple8 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "nice" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "green" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "cold" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Alan is young.[(triple1)] Dave is blue.[(triple2)] Fred is green.[(triple7)] Fred is red.[(triple6)] Fred is rough.[(triple5)] Fred is round.[(triple4)] Fred is young.[(triple3)] Gary is big.[(triple9)] Gary is blue.[(triple8)] @1: Gary is kind.[(((triple8 triple9) -> rule5))] @2: Gary is young.[(((triple9 ((triple8 triple9) -> rule5)) -> rule2))] @3: Gary is nice.[(((triple9 ((triple8 triple9) -> rule5) ((triple9 ((triple8 triple9) -> rule5)) -> rule2)) -> rule3))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Fred is young.
("Fred" "is" "young" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
((triple8 triple9) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple9 ((triple8 triple9) -> (rule5 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((triple9 ((triple8 triple9) -> (rule5 % int3)) ((triple9 ((triple8 triple9) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Alan was born only a few years ago so he is young.
Dave wears all blue.
If you had seen the young round Fred you'd never believe he was the same red, green and rough Fred of today.
Gary is big and dresses in blue.
A big young person that is green will be cold to others.
A kind and big person is young.
You can tell if someone is big, kind, and young, then they are also nice.
It is true that anyone who is cold while being young and nice is secretly a kind person.
A big and blue colored person is also certainly very kind.
A big and rough person who is blue is also considered to be green.
People who are nice, big, and also rough, are considered red.