Young Bob got into a fight that left him with red sores on his face. Charlie is round shaped and green colored. Gary was feeling red with anger after the fight, but he was still a nice but big human being. Harry is big, round, rough and cold, but Harry can also be nice. A round person who is nice and feelin cold is usually rough in apperance. If the person is big and cold then as a rule they must be green. A big blue someone could also be green. If someone has a red face and feels blue and has a round body then you'll automatically think they are big. If a young person knows he is big and round, then he will be blue. Someone who is nice, green, and cold, is always going to be young. Anyone who's blue is also green.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is round and nice and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is red and blue and round then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is round and big and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and green and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Harry is round.
True
1
proof
[(triple8)]
("Harry" "is" "round" "+")
triple8
Gary is not red.
False
1
inv-proof
[(triple5)]
("Gary" "is" "red" "-")
triple5
Harry is green.
True
3
proof
[(((triple12 triple11) -> rule2))]
("Harry" "is" "green" "+")
((triple12 triple11) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
3
inv-proof
[(((triple12 triple11) -> rule2))]
("Harry" "is" "green" "-")
((triple12 triple11) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
True
6
proof
[(((triple10 ((triple12 triple11) -> rule2) triple11) -> rule6))]
("Harry" "is" "young" "+")
((triple10 ((triple12 triple11) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not young.
False
6
inv-proof
[(((triple10 ((triple12 triple11) -> rule2) triple11) -> rule6))]
("Harry" "is" "young" "-")
((triple10 ((triple12 triple11) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
True
9
proof
[(((triple8 triple12 ((triple10 ((triple12 triple11) -> rule2) triple11) -> rule6)) -> rule5))]
("Harry" "is" "blue" "+")
((triple8 triple12 ((triple10 ((triple12 triple11) -> (rule2 % int3)) triple11) -> (rule6 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not blue.
False
9
inv-proof
[(((triple8 triple12 ((triple10 ((triple12 triple11) -> rule2) triple11) -> rule6)) -> rule5))]
("Harry" "is" "blue" "-")
((triple8 triple12 ((triple10 ((triple12 triple11) -> (rule2 % int3)) triple11) -> (rule6 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "blue" "+")
Charlie is not blue.
Unknown
inv-rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "blue" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Bob is red.[(triple2)] Bob is young.[(triple1)] Charlie is green.[(triple4)] Charlie is round.[(triple3)] Gary is big.[(triple7)] Gary is nice.[(triple6)] Gary is red.[(triple5)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is nice.[(triple10)] Harry is rough.[(triple9 OR ((triple8 triple10 triple11) -> rule1))] Harry is round.[(triple8)] @1: Harry is green.[(((triple12 triple11) -> rule2))] @2: Harry is young.[(((triple10 ((triple12 triple11) -> rule2) triple11) -> rule6))] @3: Harry is blue.[(((triple8 triple12 ((triple10 ((triple12 triple11) -> rule2) triple11) -> rule6)) -> rule5))]
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
((triple8 triple10 triple11) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
((triple12 triple11) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple10 ((triple12 triple11) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple8 triple12 ((triple10 ((triple12 triple11) -> (rule2 % int3)) triple11) -> (rule6 % int2))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Young Bob got into a fight that left him with red sores on his face.
Charlie is round shaped and green colored.
Gary was feeling red with anger after the fight, but he was still a nice but big human being.
Harry is big, round, rough and cold, but Harry can also be nice.
A round person who is nice and feelin cold is usually rough in apperance.
If the person is big and cold then as a rule they must be green.
A big blue someone could also be green.
If someone has a red face and feels blue and has a round body then you'll automatically think they are big.
If a young person knows he is big and round, then he will be blue.
Someone who is nice, green, and cold, is always going to be young.
Anyone who's blue is also green.