If you met Alan you will see that he is round and red, but he is cold. In the snow sits Dave, crying from being cold. Red Gary is what folks call him, because he is quite red. Harry is big and tends to wear red shirts. Red, big people can't help but be round as well. Most of the people that are big and nice with green eyes, will be round. If someone is colored red but is cold, they tend to show a lot of green. People that are green tend to be young. When somebody is round, kind and blue, you know they'll also be red. Kind people,though green,are cold. People who are cold and and red are also young and kind.
If someone is red and big then they are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big and nice and green then they are round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
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 kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and young and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Gary is red.
True
1
proof
[(triple5)]
("Gary" "is" "red" "+")
triple5
Alan is not round.
False
1
inv-proof
[(triple1)]
("Alan" "is" "round" "-")
triple1
Harry is round.
True
3
proof
[(((triple6 triple7) -> rule1))]
("Harry" "is" "round" "+")
((triple6 triple7) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
3
inv-proof
[(((triple6 triple7) -> rule1))]
("Harry" "is" "round" "-")
((triple6 triple7) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Alan is young.
True
4
proof
[(((((triple2 triple3) -> rule3)) -> rule4))]
("Alan" "is" "young" "+")
((((triple2 triple3) -> (rule3 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not young.
False
4
inv-proof
[(((((triple2 triple3) -> rule3)) -> rule4))]
("Alan" "is" "young" "-")
((((triple2 triple3) -> (rule3 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is kind.
True
7
proof
[(((triple2 ((((triple2 triple3) -> rule3)) -> rule4) triple3) -> rule7))]
("Alan" "is" "kind" "+")
((triple2 ((((triple2 triple3) -> (rule3 % int3))) -> (rule4 % int2)) triple3) -> (rule7 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not kind.
False
7
inv-proof
[(((triple2 ((((triple2 triple3) -> rule3)) -> rule4) triple3) -> rule7))]
("Alan" "is" "kind" "-")
((triple2 ((((triple2 triple3) -> (rule3 % int3))) -> (rule4 % int2)) triple3) -> (rule7 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@3: Gary is young.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule6 <- FAIL)]]
("Gary" "is" "young" "-")
Harry is green.
Unknown
rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Harry" "is" "green" "+")
Gary is not cold.
Unknown
inv-rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Gary" "is" "cold" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is cold.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Dave is cold.[(triple4)] Gary is red.[(triple5)] Harry is big.[(triple7)] Harry is red.[(triple6)] @1: Alan is green.[(((triple2 triple3) -> rule3))] Harry is round.[(((triple6 triple7) -> rule1))] @2: Alan is young.[(((((triple2 triple3) -> rule3)) -> rule4))] @3: Alan is kind.[(((triple2 ((((triple2 triple3) -> rule3)) -> rule4) triple3) -> rule7))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple6
Alan is green.
("Alan" "is" "green" "+")
((triple2 triple3) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple6 triple7) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((((triple2 triple3) -> (rule3 % int2))) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 ((((triple2 triple3) -> (rule3 % int3))) -> (rule4 % int2)) triple3) -> (rule7 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
If you met Alan you will see that he is round and red, but he is cold.
In the snow sits Dave, crying from being cold.
Red Gary is what folks call him, because he is quite red.
Harry is big and tends to wear red shirts.
Red, big people can't help but be round as well.
Most of the people that are big and nice with green eyes, will be round.
If someone is colored red but is cold, they tend to show a lot of green.
People that are green tend to be young.
When somebody is round, kind and blue, you know they'll also be red.
Kind people,though green,are cold.
People who are cold and and red are also young and kind.