Alan is rough around the edges, but he's often blue and always nice. Dave is a very rough person. As expected, he's also a very cold and big individual. Fred is too young to be so big. Some say he is too green to be so blue as well. To the touch Gary has rough, cold skin. A nice person with rough skin is red. Big and cold people tend to see red and dont live green lifestyle. Someone who is cold, big, and rough is always green, as a rule. Anyone in the world who is nice, red, and young, is simultaneously rough. A young person who is red and green is also going to look round. A person that is feeling blue and slightly big, is red as well. When you meet a young, red person, you'll learn they are also nice.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is rough and nice then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is red and big and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and big and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and red and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and green and red then they are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and red then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Fred is big.
True
1
proof
[(triple10)]
("Fred" "is" "big" "+")
triple10
Dave is not rough.
False
1
inv-proof
[(triple4)]
("Dave" "is" "rough" "-")
triple4
Fred is red.
True
3
proof
[(((triple10 triple9) -> rule6))]
("Fred" "is" "red" "+")
((triple10 triple9) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Alan is not red.
False
3
inv-proof
[(((triple1 triple2) -> rule1))]
("Alan" "is" "red" "-")
((triple1 triple2) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Fred is round.
True
6
proof
[(((triple7 triple8 ((triple10 triple9) -> rule6)) -> rule5))]
("Fred" "is" "round" "+")
((triple7 triple8 ((triple10 triple9) -> (rule6 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is not nice.
False
5
inv-proof
[(((triple7 ((triple10 triple9) -> rule6)) -> rule7))]
("Fred" "is" "nice" "-")
((triple7 ((triple10 triple9) -> (rule6 % int2))) -> (rule7 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is rough.
True
10
proof
[(((((triple7 ((triple10 triple9) -> rule6)) -> rule7) ((triple10 triple9) -> rule6) triple7) -> rule4))]
("Fred" "is" "rough" "+")
((((triple7 ((triple10 triple9) -> (rule6 % int3))) -> (rule7 % int2)) ((triple10 triple9) -> (rule6 % int3)) triple7) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not rough.
False
10
inv-proof
[(((((triple7 ((triple10 triple9) -> rule6)) -> rule7) ((triple10 triple9) -> rule6) triple7) -> rule4))]
("Fred" "is" "rough" "-")
((((triple7 ((triple10 triple9) -> (rule6 % int3))) -> (rule7 % int2)) ((triple10 triple9) -> (rule6 % int3)) triple7) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "green" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "round" "-")
Gary is red.
Unknown
rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Gary" "is" "red" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
@0: Alan is blue.[(triple3)] Alan is nice.[(triple2)] Alan is rough.[(triple1)] Dave is big.[(triple6)] Dave is cold.[(triple5)] Dave is rough.[(triple4)] Fred is big.[(triple10)] Fred is blue.[(triple9)] Fred is green.[(triple8)] Fred is young.[(triple7)] Gary is cold.[(triple12)] Gary is rough.[(triple11)] @1: Alan is red.[(((triple1 triple2) -> rule1))] Dave is green.[(((triple5 triple6 triple4) -> rule3))] Fred is red.[(((triple10 triple9) -> rule6))] @2: Fred is nice.[(((triple7 ((triple10 triple9) -> rule6)) -> rule7))] Fred is round.[(((triple7 triple8 ((triple10 triple9) -> rule6)) -> rule5))] @3: Fred is rough.[(((((triple7 ((triple10 triple9) -> rule6)) -> rule7) ((triple10 triple9) -> rule6) triple7) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Alan is red.
("Alan" "is" "red" "+")
((triple1 triple2) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple5 triple6 triple4) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple10 triple9) -> (rule6 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple7 ((triple10 triple9) -> (rule6 % int2))) -> (rule7 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple7 triple8 ((triple10 triple9) -> (rule6 % int2))) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((((triple7 ((triple10 triple9) -> (rule6 % int3))) -> (rule7 % int2)) ((triple10 triple9) -> (rule6 % int3)) triple7) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Alan is rough around the edges, but he's often blue and always nice.
Dave is a very rough person; As expected, he's also a very cold and big individual.
Fred is too young to be so big; Some say he is too green to be so blue as well.
To the touch Gary has rough, cold skin.
A nice person with rough skin is red.
Big and cold people tend to see red and dont live green lifestyle.
Someone who is cold, big, and rough is always green, as a rule.
Anyone in the world who is nice, red, and young, is simultaneously rough.
A young person who is red and green is also going to look round.
A person that is feeling blue and slightly big, is red as well.
When you meet a young, red person, you'll learn they are also nice.