Alan always goes out of his way to show that he is kind to people. Charlie is a red fellow who habitually looks blue. He's often cold. Fred was born only a few years ago so he is young. Gary can be cold and rough, but also can be nice and kind. Either way, he's big and round. People who are rough are young. Rough and cold and blue people are round. Blue and red people are often rough. Young people who are cold and painted red are usually big and part of the football team. A person with the qualities of being cold and being red will also be a person that is green. If someone seems young, kind, and nice, expect them to be quite round.
Alan is kind.
("Alan" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and blue and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and red and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is young and kind and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Gary is round.
True
1
proof
[(triple6 OR ((((triple7) -> rule1) triple9 triple8) -> rule6))]
("Gary" "is" "round" "+")
triple6
((((triple7) -> (rule1 % int2)) triple9 triple8) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Charlie is not blue.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "blue" "-")
triple4
Gary is young.
True
2
proof
[(((triple7) -> rule1))]
("Gary" "is" "young" "+")
((triple7) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Charlie is not rough.
False
3
inv-proof
[(((triple4 triple2) -> rule3))]
("Charlie" "is" "rough" "-")
((triple4 triple2) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
True
6
proof
[(((((triple4 triple2) -> rule3) triple4 triple3) -> rule2))]
("Charlie" "is" "round" "+")
((((triple4 triple2) -> (rule3 % int2)) triple4 triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not young.
False
4
inv-proof
[(((((triple4 triple2) -> rule3)) -> rule1))]
("Charlie" "is" "young" "-")
((((triple4 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
True
7
proof
[(((triple3 triple2 ((((triple4 triple2) -> rule3)) -> rule1)) -> rule4))]
("Charlie" "is" "big" "+")
((triple3 triple2 ((((triple4 triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not big.
False
7
inv-proof
[(((triple3 triple2 ((((triple4 triple2) -> rule3)) -> rule1)) -> rule4))]
("Charlie" "is" "big" "-")
((triple3 triple2 ((((triple4 triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Alan is not young.
Unknown
inv-rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Alan" "is" "young" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "green" "+")
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "green" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "rough" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Alan is kind.[(triple1)] Charlie is blue.[(triple4)] Charlie is cold.[(triple3)] Charlie is red.[(triple2)] Fred is young.[(triple5)] Gary is big.[(triple11)] Gary is cold.[(triple10)] Gary is kind.[(triple9)] Gary is nice.[(triple8)] Gary is rough.[(triple7)] Gary is round.[(triple6 OR ((((triple7) -> rule1) triple9 triple8) -> rule6))] @1: Charlie is green.[(((triple3 triple2) -> rule5))] Charlie is rough.[(((triple4 triple2) -> rule3))] Gary is young.[(((triple7) -> rule1))] @2: Charlie is round.[(((((triple4 triple2) -> rule3) triple4 triple3) -> rule2))] Charlie is young.[(((((triple4 triple2) -> rule3)) -> rule1))] @3: Charlie is big.[(((triple3 triple2 ((((triple4 triple2) -> rule3)) -> rule1)) -> rule4))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Fred is young.
("Fred" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
((((triple7) -> (rule1 % int2)) triple9 triple8) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((triple3 triple2) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple4 triple2) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple7) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple4 triple2) -> (rule3 % int2)) triple4 triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((triple4 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((triple3 triple2 ((((triple4 triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Alan always goes out of his way to show that he is kind to people.
Charlie is a red fellow who habitually looks blue; He's often cold.
Fred was born only a few years ago so he is young.
Gary can be cold and rough, but also can be nice and kind; Either way, he's big and round.
People who are rough are young.
Rough and cold and blue people are round.
Blue and red people are often rough.
Young people who are cold and painted red are usually big and part of the football team.
A person with the qualities of being cold and being red will also be a person that is green.
If someone seems young, kind, and nice, expect them to be quite round.