Alan is very nice to people, but he's also rather big. Fred is a nice person who is red because he has a rash. Although Gary is young and nice, he is as cold as ice. Harry looks big and is kind with red hair and green shoes. Because someone is green and kind they are extremely nice to people. Nice blue people are often rough. As far as anyone can tell, whoever is kind, rough, and big is a round person. A nice and kind natured person that is big in shape will be rough. Young, kind people have a habit of being nice. Someone who is nice, green, and cold, is always going to be young.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and rough and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and big and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and green and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Gary is nice.
True
1
proof
[(triple6)]
("Gary" "is" "nice" "+")
triple6
Harry is not green.
False
1
inv-proof
[(triple10)]
("Harry" "is" "green" "-")
triple10
Harry is nice.
True
3
proof
[(((triple10 triple9) -> rule1))]
("Harry" "is" "nice" "+")
((triple10 triple9) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple10 triple9) -> rule1))]
("Harry" "is" "nice" "-")
((triple10 triple9) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
True
6
proof
[(((((triple10 triple9) -> rule1) triple11 triple9) -> rule4))]
("Harry" "is" "rough" "+")
((((triple10 triple9) -> (rule1 % int2)) triple11 triple9) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not rough.
False
6
inv-proof
[(((((triple10 triple9) -> rule1) triple11 triple9) -> rule4))]
("Harry" "is" "rough" "-")
((((triple10 triple9) -> (rule1 % int2)) triple11 triple9) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
True
9
proof
[(((triple9 ((((triple10 triple9) -> rule1) triple11 triple9) -> rule4) triple11) -> rule3))]
("Harry" "is" "round" "+")
((triple9 ((((triple10 triple9) -> (rule1 % int3)) triple11 triple9) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not round.
False
9
inv-proof
[(((triple9 ((((triple10 triple9) -> rule1) triple11 triple9) -> rule4) triple11) -> rule3))]
("Harry" "is" "round" "-")
((triple9 ((((triple10 triple9) -> (rule1 % int3)) triple11 triple9) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "young" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "round" "+")
Alan is not rough.
Unknown
inv-rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "rough" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "round" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Alan is big.[(triple2)] Alan is nice.[(triple1)] Fred is nice.[(triple4)] Fred is red.[(triple3)] Gary is cold.[(triple7)] Gary is nice.[(triple6)] Gary is young.[(triple5)] Harry is big.[(triple11)] Harry is green.[(triple10)] Harry is kind.[(triple9)] Harry is red.[(triple8)] @1: Harry is nice.[(((triple10 triple9) -> rule1))] @2: Harry is rough.[(((((triple10 triple9) -> rule1) triple11 triple9) -> rule4))] @3: Harry is round.[(((triple9 ((((triple10 triple9) -> rule1) triple11 triple9) -> rule4) triple11) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Fred is nice.
("Fred" "is" "nice" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
((triple10 triple9) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((((triple10 triple9) -> (rule1 % int2)) triple11 triple9) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple9 ((((triple10 triple9) -> (rule1 % int3)) triple11 triple9) -> (rule4 % int2)) triple11) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Alan is very nice to people, but he's also rather big.
Fred is a nice person who is red because he has a rash.
Although Gary is young and nice, he is as cold as ice.
Harry looks big and is kind with red hair and green shoes.
Because someone is green and kind they are extremely nice to people.
Nice blue people are often rough.
As far as anyone can tell, whoever is kind, rough, and big is a round person.
A nice and kind natured person that is big in shape will be rough.
Young, kind people have a habit of being nice.
Someone who is nice, green, and cold, is always going to be young.