Alan is known to be rough and green. Fred is young and rough. He is at once red, then blue, then green. But deep down, he is nice. People think that Gary is round. This might be because he is young and blue. Red, big people can't help but be round as well. A person with nice, blue traits who is young will surely be a round person. If a human is both young and kind, they are also cold. A green colored person will be young and also kind. A person who exhibits nice, kind and cold characteristics will also be a rough person. You will always find a cold, rough, red person to also be a round person. If you run into a cold and kind person, they are always big.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is green.
("Alan" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is red and big then they are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and nice and young then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is young and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and young then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice and cold then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and rough and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Fred is blue.
True
1
proof
[(triple8)]
("Fred" "is" "blue" "+")
triple8
Fred is not red.
False
1
inv-proof
[(triple5)]
("Fred" "is" "red" "-")
triple5
Fred is round.
True
4
proof
[(((triple8 triple6 triple3) -> rule2) OR ((((triple3 ((triple7 triple3) -> rule4)) -> rule3) triple4 triple5) -> rule6) OR ((triple5 ((((triple3 ((triple7 triple3) -> rule4)) -> rule3) ((triple7 triple3) -> rule4)) -> rule7)) -> rule1) OR ((((triple3 ((triple7 triple3) -> rule4)) -> rule3) ((((triple7 triple3) -> rule4) triple6 ((triple3 ((triple7 triple3) -> rule4)) -> rule3)) -> rule5) triple5) -> rule6))]
("Fred" "is" "round" "+")
((triple8 triple6 triple3) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
((((triple3 ((triple7 triple3) -> (rule4 % int3))) -> (rule3 % int2)) triple4 triple5) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
((triple5 ((((triple3 ((triple7 triple3) -> (rule4 % int4))) -> (rule3 % int3)) ((triple7 triple3) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
((((triple3 ((triple7 triple3) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple7 triple3) -> (rule4 % int4)) triple6 ((triple3 ((triple7 triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Fred is not round.
False
4
inv-proof
[(((triple8 triple6 triple3) -> rule2) OR ((((triple3 ((triple7 triple3) -> rule4)) -> rule3) triple4 triple5) -> rule6) OR ((triple5 ((((triple3 ((triple7 triple3) -> rule4)) -> rule3) ((triple7 triple3) -> rule4)) -> rule7)) -> rule1) OR ((((triple3 ((triple7 triple3) -> rule4)) -> rule3) ((((triple7 triple3) -> rule4) triple6 ((triple3 ((triple7 triple3) -> rule4)) -> rule3)) -> rule5) triple5) -> rule6))]
("Fred" "is" "round" "-")
((triple8 triple6 triple3) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
((((triple3 ((triple7 triple3) -> (rule4 % int3))) -> (rule3 % int2)) triple4 triple5) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
((triple5 ((((triple3 ((triple7 triple3) -> (rule4 % int4))) -> (rule3 % int3)) ((triple7 triple3) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
((((triple3 ((triple7 triple3) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple7 triple3) -> (rule4 % int4)) triple6 ((triple3 ((triple7 triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Fred is cold.
True
5
proof
[(((triple3 ((triple7 triple3) -> rule4)) -> rule3))]
("Fred" "is" "cold" "+")
((triple3 ((triple7 triple3) -> (rule4 % int2))) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is not cold.
False
5
inv-proof
[(((triple3 ((triple7 triple3) -> rule4)) -> rule3))]
("Fred" "is" "cold" "-")
((triple3 ((triple7 triple3) -> (rule4 % int2))) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is big.
True
9
proof
[(((((triple3 ((triple7 triple3) -> rule4)) -> rule3) ((triple7 triple3) -> rule4)) -> rule7))]
("Fred" "is" "big" "+")
((((triple3 ((triple7 triple3) -> (rule4 % int3))) -> (rule3 % int2)) ((triple7 triple3) -> (rule4 % int3))) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not big.
False
9
inv-proof
[(((((triple3 ((triple7 triple3) -> rule4)) -> rule3) ((triple7 triple3) -> rule4)) -> rule7))]
("Fred" "is" "big" "-")
((((triple3 ((triple7 triple3) -> (rule4 % int3))) -> (rule3 % int2)) ((triple7 triple3) -> (rule4 % int3))) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "cold" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "kind" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "rough" "-")
Gary is big.
Unknown
rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Gary" "is" "big" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Alan is green.[(triple2)] Alan is rough.[(triple1)] Fred is blue.[(triple8)] Fred is green.[(triple7)] Fred is nice.[(triple6)] Fred is red.[(triple5)] Fred is rough.[(triple4 OR ((((triple7 triple3) -> rule4) triple6 ((triple3 ((triple7 triple3) -> rule4)) -> rule3)) -> rule5))] Fred is young.[(triple3)] Gary is blue.[(triple11)] Gary is round.[(triple10)] Gary is young.[(triple9)] @1: Fred is kind.[(((triple7 triple3) -> rule4))] Fred is round.[(((triple8 triple6 triple3) -> rule2) OR ((((triple3 ((triple7 triple3) -> rule4)) -> rule3) triple4 triple5) -> rule6) OR ((triple5 ((((triple3 ((triple7 triple3) -> rule4)) -> rule3) ((triple7 triple3) -> rule4)) -> rule7)) -> rule1) OR ((((triple3 ((triple7 triple3) -> rule4)) -> rule3) ((((triple7 triple3) -> rule4) triple6 ((triple3 ((triple7 triple3) -> rule4)) -> rule3)) -> rule5) triple5) -> rule6))] @2: Fred is cold.[(((triple3 ((triple7 triple3) -> rule4)) -> rule3))] @3: Fred is big.[(((((triple3 ((triple7 triple3) -> rule4)) -> rule3) ((triple7 triple3) -> rule4)) -> rule7))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple4
((((triple7 triple3) -> (rule4 % int3)) triple6 ((triple3 ((triple7 triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
((triple7 triple3) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple8 triple6 triple3) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
((((triple3 ((triple7 triple3) -> (rule4 % int3))) -> (rule3 % int2)) triple4 triple5) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
((triple5 ((((triple3 ((triple7 triple3) -> (rule4 % int4))) -> (rule3 % int3)) ((triple7 triple3) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule1 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
((((triple3 ((triple7 triple3) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple7 triple3) -> (rule4 % int4)) triple6 ((triple3 ((triple7 triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Fred is cold.
("Fred" "is" "cold" "+")
((triple3 ((triple7 triple3) -> (rule4 % int2))) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((triple3 ((triple7 triple3) -> (rule4 % int3))) -> (rule3 % int2)) ((triple7 triple3) -> (rule4 % int3))) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Alan is known to be rough and green.
Fred is young and rough; He is at once red, then blue, then green; But deep down, he is nice.
People think that Gary is round; This might be because he is young and blue.
Red, big people can't help but be round as well.
A person with nice, blue traits who is young will surely be a round person.
If a human is both young and kind, they are also cold.
A green colored person will be young and also kind.
A person who exhibits nice, kind and cold characteristics will also be a rough person.
You will always find a cold, rough, red person to also be a round person.
If you run into a cold and kind person, they are always big.