Alan is big and rough. Fred appears green and blue, he is also rather round and kind. When you meet Gary you'll the two characteristics that will standout is that he's red but also rough. To the touch Harry has rough, cold skin. Because someone is green and kind they are extremely nice to people. It seems to be that a person who is green, red, and blue will be very big. If a red and blue person is also kind to people that means they are rough as well. A quite nice person will certainly be red. A person described as cold and kind can also be described as nice. Someone that is red and blue because they are cold are also round.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is big.
("Alan" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and blue and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is red and blue and kind then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and red and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Alan is rough.
True
1
proof
[(triple1)]
("Alan" "is" "rough" "+")
triple1
Gary is not rough.
False
1
inv-proof
[(triple7)]
("Gary" "is" "rough" "-")
triple7
Fred is nice.
True
3
proof
[(((triple5 triple4) -> rule1))]
("Fred" "is" "nice" "+")
((triple5 triple4) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple5 triple4) -> rule1))]
("Fred" "is" "nice" "-")
((triple5 triple4) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
True
4
proof
[(((((triple5 triple4) -> rule1)) -> rule4))]
("Fred" "is" "red" "+")
((((triple5 triple4) -> (rule1 % int2))) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not red.
False
4
inv-proof
[(((((triple5 triple4) -> rule1)) -> rule4))]
("Fred" "is" "red" "-")
((((triple5 triple4) -> (rule1 % int2))) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is rough.
True
7
proof
[(((((((triple5 triple4) -> rule1)) -> rule4) triple6 triple4) -> rule3))]
("Fred" "is" "rough" "+")
((((((triple5 triple4) -> (rule1 % int3))) -> (rule4 % int2)) triple6 triple4) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not rough.
False
7
inv-proof
[(((((((triple5 triple4) -> rule1)) -> rule4) triple6 triple4) -> rule3))]
("Fred" "is" "rough" "-")
((((((triple5 triple4) -> (rule1 % int3))) -> (rule4 % int2)) triple6 triple4) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "round" "+")
Harry is not red.
Unknown
inv-rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Alan is big.[(triple2)] Alan is rough.[(triple1)] Fred is blue.[(triple6)] Fred is green.[(triple5)] Fred is kind.[(triple4)] Fred is round.[(triple3)] Gary is red.[(triple8)] Gary is rough.[(triple7)] Harry is cold.[(triple10)] Harry is rough.[(triple9)] @1: Fred is nice.[(((triple5 triple4) -> rule1))] @2: Fred is red.[(((((triple5 triple4) -> rule1)) -> rule4))] @3: Fred is big.[(((((((triple5 triple4) -> rule1)) -> rule4) triple6 triple5) -> rule2))] Fred is rough.[(((((((triple5 triple4) -> rule1)) -> rule4) triple6 triple4) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple4
Fred is round.
("Fred" "is" "round" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
((triple5 triple4) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((((triple5 triple4) -> (rule1 % int2))) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((((triple5 triple4) -> (rule1 % int3))) -> (rule4 % int2)) triple6 triple5) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
((((((triple5 triple4) -> (rule1 % int3))) -> (rule4 % int2)) triple6 triple4) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Alan is big and rough.
Fred appears green and blue, he is also rather round and kind.
When you meet Gary you'll the two characteristics that will standout is that he's red but also rough.
To the touch Harry has rough, cold skin.
Because someone is green and kind they are extremely nice to people.
It seems to be that a person who is green, red, and blue will be very big.
If a red and blue person is also kind to people that means they are rough as well.
A quite nice person will certainly be red.
A person described as cold and kind can also be described as nice.
Someone that is red and blue because they are cold are also round.