Alan can be rather rough, but surprisingly loves the green. He can be rather blue, and is unusually big. Because Dave gets cold easily he tends to appear round from bundling up. Eric had big, red, round cheeks. Fred is a person both green and big. A big person who is green and cold has red skin. People that feel green are cold to people that try to help them. Among the green people who are young, the color blue is always part of them. If you're cold and red then you're nice. A kind person who is green is usually round. Young,round people tend to be rough and big.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is big and green and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and red then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and young and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Alan is big.
True
1
proof
[(triple4)]
("Alan" "is" "big" "+")
triple4
Alan is not big.
False
1
inv-proof
[(triple4)]
("Alan" "is" "big" "-")
triple4
Alan is cold.
True
2
proof
[(((triple2) -> rule2))]
("Alan" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Fred is not cold.
False
2
inv-proof
[(((triple10) -> rule2))]
("Fred" "is" "cold" "-")
((triple10) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Alan is red.
True
5
proof
[(((triple4 triple2 ((triple2) -> rule2)) -> rule1))]
("Alan" "is" "red" "+")
((triple4 triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Fred is not red.
False
5
inv-proof
[(((triple11 triple10 ((triple10) -> rule2)) -> rule1))]
("Fred" "is" "red" "-")
((triple11 triple10 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Alan is nice.
True
8
proof
[(((((triple2) -> rule2) ((triple4 triple2 ((triple2) -> rule2)) -> rule1)) -> rule4))]
("Alan" "is" "nice" "+")
((((triple2) -> (rule2 % int3)) ((triple4 triple2 ((triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not nice.
False
8
inv-proof
[(((((triple2) -> rule2) ((triple4 triple2 ((triple2) -> rule2)) -> rule1)) -> rule4))]
("Alan" "is" "nice" "-")
((((triple2) -> (rule2 % int3)) ((triple4 triple2 ((triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "blue" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "cold" "+")
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "blue" "-")
Eric is nice.
Unknown
rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Eric" "is" "nice" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is rough.[(triple1)] Dave is cold.[(triple6)] Dave is round.[(triple5)] Eric is big.[(triple9)] Eric is red.[(triple8)] Eric is round.[(triple7)] Fred is big.[(triple11)] Fred is green.[(triple10)] @1: Alan is cold.[(((triple2) -> rule2))] Fred is cold.[(((triple10) -> rule2))] @2: Alan is red.[(((triple4 triple2 ((triple2) -> rule2)) -> rule1))] Fred is red.[(((triple11 triple10 ((triple10) -> rule2)) -> rule1))] @3: Alan is nice.[(((((triple2) -> rule2) ((triple4 triple2 ((triple2) -> rule2)) -> rule1)) -> rule4))] Fred is nice.[(((((triple10) -> rule2) ((triple11 triple10 ((triple10) -> rule2)) -> rule1)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is green.
("Fred" "is" "green" "+")
triple10
Alan is cold.
("Alan" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple10) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple4 triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((triple11 triple10 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((((triple2) -> (rule2 % int3)) ((triple4 triple2 ((triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
((((triple10) -> (rule2 % int3)) ((triple11 triple10 ((triple10) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Alan can be rather rough, but surprisingly loves the green; He can be rather blue, and is unusually big.
Because Dave gets cold easily he tends to appear round from bundling up.
Eric had big, red, round cheeks.
Fred is a person both green and big.
A big person who is green and cold has red skin.
People that feel green are cold to people that try to help them.
Among the green people who are young, the color blue is always part of them.
If you're cold and red then you're nice.
A kind person who is green is usually round.
Young,round people tend to be rough and big.