Although Alan is young and nice, he is as cold as ice. Dave is a young man who is also kind, blue and rough. Fred's cold expression hid how nice he was. He was constantly blue about it though which was rough. He was noticeably round too. Kind, young, green persons are sure to be rough persons, too. If someone is blue and rough, they always see red in others. When someone is young they can be nice and kind, but green in society. Everyone who manages to be both rough and round are also kind. When somebody is round, kind and blue, you know they'll also be red. When someone is big with rough skin they will look red. Somebody having round, cold and kind traits is also sure to be young.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is kind and young and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and nice and young then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and kind and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and big then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is round and kind and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Fred is round.
True
1
proof
[(triple8)]
("Fred" "is" "round" "+")
triple8
Fred is not nice.
False
1
inv-proof
[(triple10)]
("Fred" "is" "nice" "-")
triple10
Fred is red.
True
3
proof
[(((triple12 triple9) -> rule2) OR ((triple8 ((triple9 triple8) -> rule4) triple12) -> rule5))]
("Fred" "is" "red" "+")
((triple12 triple9) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
((triple8 ((triple9 triple8) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is not kind.
False
3
inv-proof
[(((triple9 triple8) -> rule4))]
("Fred" "is" "kind" "-")
((triple9 triple8) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
True
6
proof
[(((triple8 ((triple9 triple8) -> rule4) triple11) -> rule7))]
("Fred" "is" "young" "+")
((triple8 ((triple9 triple8) -> (rule4 % int2)) triple11) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is not young.
False
6
inv-proof
[(((triple8 ((triple9 triple8) -> rule4) triple11) -> rule7))]
("Fred" "is" "young" "-")
((triple8 ((triple9 triple8) -> (rule4 % int2)) triple11) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
True
11
proof
[(((((triple9 triple8) -> rule4) triple10 ((triple8 ((triple9 triple8) -> rule4) triple11) -> rule7)) -> rule3))]
("Fred" "is" "green" "+")
((((triple9 triple8) -> (rule4 % int3)) triple10 ((triple8 ((triple9 triple8) -> (rule4 % int3)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not green.
False
11
inv-proof
[(((((triple9 triple8) -> rule4) triple10 ((triple8 ((triple9 triple8) -> rule4) triple11) -> rule7)) -> rule3))]
("Fred" "is" "green" "-")
((((triple9 triple8) -> (rule4 % int3)) triple10 ((triple8 ((triple9 triple8) -> (rule4 % int3)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Alan is not rough.
Unknown
inv-rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Alan" "is" "rough" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "kind" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "green" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "red" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
@0: Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Dave is blue.[(triple7)] Dave is kind.[(triple6)] Dave is rough.[(triple5)] Dave is young.[(triple4)] Fred is blue.[(triple12)] Fred is cold.[(triple11)] Fred is nice.[(triple10)] Fred is rough.[(triple9)] Fred is round.[(triple8)] @1: Dave is red.[(((triple7 triple5) -> rule2))] Fred is kind.[(((triple9 triple8) -> rule4))] Fred is red.[(((triple12 triple9) -> rule2) OR ((triple8 ((triple9 triple8) -> rule4) triple12) -> rule5))] @2: Fred is young.[(((triple8 ((triple9 triple8) -> rule4) triple11) -> rule7))] @3: Fred is green.[(((((triple9 triple8) -> rule4) triple10 ((triple8 ((triple9 triple8) -> rule4) triple11) -> rule7)) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple12
Fred is cold.
("Fred" "is" "cold" "+")
triple11
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
((triple7 triple5) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple9 triple8) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple12 triple9) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
((triple8 ((triple9 triple8) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((triple8 ((triple9 triple8) -> (rule4 % int2)) triple11) -> (rule7 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((((triple9 triple8) -> (rule4 % int3)) triple10 ((triple8 ((triple9 triple8) -> (rule4 % int3)) triple11) -> (rule7 % int2))) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Although Alan is young and nice, he is as cold as ice.
Dave is a young man who is also kind, blue and rough.
Fred's cold expression hid how nice he was; He was constantly blue about it though which was rough; He was noticeably round too.
Kind, young, green persons are sure to be rough persons, too.
If someone is blue and rough, they always see red in others.
When someone is young they can be nice and kind, but green in society.
Everyone who manages to be both rough and round are also kind.
When somebody is round, kind and blue, you know they'll also be red.
When someone is big with rough skin they will look red.
Somebody having round, cold and kind traits is also sure to be young.