In the snow sits Alan, crying from being cold. Fred is young and green, so although he is rough and blue with sadness, he'll grow out of it. Gary ate some rotten meat and now feels green. Harry is a round fellow, but he is kind, even when he is so cold he turns blue. Rough people are often round. A nice and colored blue person will be rather big. A big person in size will definitely be rough. A big blue someone could also be green. People who are young and green are also kind. Nice people who are green and red will also have round shapes. If someone is kind, green, and round sized, then they are typically nice people.
Alan is cold.
("Alan" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and nice then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is young and green then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and nice and red then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and green and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Harry is cold.
True
1
proof
[(triple9)]
("Harry" "is" "cold" "+")
triple9
Harry is not kind.
False
1
inv-proof
[(triple8)]
("Harry" "is" "kind" "-")
triple8
Fred is round.
True
2
proof
[(((triple3) -> rule1))]
("Fred" "is" "round" "+")
((triple3) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not round.
False
2
inv-proof
[(((triple3) -> rule1))]
("Fred" "is" "round" "-")
((triple3) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
True
7
proof
[(((((triple2 triple4) -> rule5) triple4 ((triple3) -> rule1)) -> rule7))]
("Fred" "is" "nice" "+")
((((triple2 triple4) -> (rule5 % int3)) triple4 ((triple3) -> (rule1 % int2))) -> (rule7 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not nice.
False
7
inv-proof
[(((((triple2 triple4) -> rule5) triple4 ((triple3) -> rule1)) -> rule7))]
("Fred" "is" "nice" "-")
((((triple2 triple4) -> (rule5 % int3)) triple4 ((triple3) -> (rule1 % int2))) -> (rule7 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is big.
True
9
proof
[(((triple5 ((((triple2 triple4) -> rule5) triple4 ((triple3) -> rule1)) -> rule7)) -> rule2))]
("Fred" "is" "big" "+")
((triple5 ((((triple2 triple4) -> (rule5 % int4)) triple4 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Fred is not big.
False
9
inv-proof
[(((triple5 ((((triple2 triple4) -> rule5) triple4 ((triple3) -> rule1)) -> rule7)) -> rule2))]
("Fred" "is" "big" "-")
((triple5 ((((triple2 triple4) -> (rule5 % int4)) triple4 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "kind" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "big" "+")
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "kind" "-")
Harry is green.
Unknown
rconc
[@3: Harry is green.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule7 <- FAIL)]]
("Harry" "is" "green" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
@0: Alan is cold.[(triple1)] Fred is blue.[(triple5)] Fred is green.[(triple4)] Fred is rough.[(triple3)] Fred is young.[(triple2)] Gary is green.[(triple6)] Harry is blue.[(triple10)] Harry is cold.[(triple9)] Harry is kind.[(triple8)] Harry is round.[(triple7)] @1: Fred is kind.[(((triple2 triple4) -> rule5))] Fred is round.[(((triple3) -> rule1))] @2: Fred is nice.[(((((triple2 triple4) -> rule5) triple4 ((triple3) -> rule1)) -> rule7))] @3: Fred is big.[(((triple5 ((((triple2 triple4) -> rule5) triple4 ((triple3) -> rule1)) -> rule7)) -> rule2))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple5
Fred is green.
("Fred" "is" "green" "+")
triple4
Fred is rough.
("Fred" "is" "rough" "+")
triple3
Fred is young.
("Fred" "is" "young" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
((triple2 triple4) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple3) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((((triple2 triple4) -> (rule5 % int3)) triple4 ((triple3) -> (rule1 % int2))) -> (rule7 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
((triple5 ((((triple2 triple4) -> (rule5 % int4)) triple4 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
In the snow sits Alan, crying from being cold.
Fred is young and green, so although he is rough and blue with sadness, he'll grow out of it.
Gary ate some rotten meat and now feels green.
Harry is a round fellow, but he is kind, even when he is so cold he turns blue.
Rough people are often round.
A nice and colored blue person will be rather big.
A big person in size will definitely be rough.
A big blue someone could also be green.
People who are young and green are also kind.
Nice people who are green and red will also have round shapes.
If someone is kind, green, and round sized, then they are typically nice people.