Bob was born only a few years ago so he is young. Gary is round, rough and big, but that's because he's also green at the job and cold working outside. To the touch Harry has rough, cold skin. Whoever is rough and red must be kind. A round and nice person will certainly have a red tint to them. A person that is cold, blue and nice is also considered to be round. People who are rough are young. A nice and blue person who's also red will be a rough person. Someone who's young and frosty cold are actually very nice.
Bob is young.
("Bob" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and nice then they are red.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and blue and nice then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Harry is cold.
True
1
proof
[(triple8)]
("Harry" "is" "cold" "+")
triple8
Gary is not green.
False
1
inv-proof
[(triple4)]
("Gary" "is" "green" "-")
triple4
Harry is young.
True
2
proof
[(((triple7) -> rule4))]
("Harry" "is" "young" "+")
((triple7) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple3) -> rule4))]
("Gary" "is" "young" "-")
((triple3) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
True
4
proof
[(((((triple3) -> rule4) triple5) -> rule6))]
("Gary" "is" "nice" "+")
((((triple3) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Harry is not nice.
False
4
inv-proof
[(((((triple7) -> rule4) triple8) -> rule6))]
("Harry" "is" "nice" "-")
((((triple7) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Gary is red.
True
6
proof
[(((triple2 ((((triple3) -> rule4) triple5) -> rule6)) -> rule2))]
("Gary" "is" "red" "+")
((triple2 ((((triple3) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not red.
False
6
inv-proof
[(((triple2 ((((triple3) -> rule4) triple5) -> rule6)) -> rule2))]
("Gary" "is" "red" "-")
((triple2 ((((triple3) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
True
8
proof
[(((triple3 ((triple2 ((((triple3) -> rule4) triple5) -> rule6)) -> rule2)) -> rule1))]
("Gary" "is" "kind" "+")
((triple3 ((triple2 ((((triple3) -> (rule4 % int4)) triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is not kind.
False
8
inv-proof
[(((triple3 ((triple2 ((((triple3) -> rule4) triple5) -> rule6)) -> rule2)) -> rule1))]
("Gary" "is" "kind" "-")
((triple3 ((triple2 ((((triple3) -> (rule4 % int4)) triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Bob is not red.
Unknown
inv-rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Bob" "is" "red" "-")
Dave is young.
Unknown
rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Dave" "is" "young" "+")
Harry is not red.
Unknown
inv-rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Harry" "is" "red" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "round" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Bob is young.[(triple1)] Gary is big.[(triple6)] Gary is cold.[(triple5)] Gary is green.[(triple4)] Gary is rough.[(triple3)] Gary is round.[(triple2)] Harry is cold.[(triple8)] Harry is rough.[(triple7)] @1: Gary is young.[(((triple3) -> rule4))] Harry is young.[(((triple7) -> rule4))] @2: Gary is nice.[(((((triple3) -> rule4) triple5) -> rule6))] Harry is nice.[(((((triple7) -> rule4) triple8) -> rule6))] @3: Gary is red.[(((triple2 ((((triple3) -> rule4) triple5) -> rule6)) -> rule2))] @4: Gary is kind.[(((triple3 ((triple2 ((((triple3) -> rule4) triple5) -> rule6)) -> rule2)) -> rule1))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple2
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
((triple3) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple7) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((((triple3) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple7) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple2 ((((triple3) -> (rule4 % int3)) triple5) -> (rule6 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((triple3 ((triple2 ((((triple3) -> (rule4 % int4)) triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Bob was born only a few years ago so he is young.
Gary is round, rough and big, but that's because he's also green at the job and cold working outside.
To the touch Harry has rough, cold skin.
Whoever is rough and red must be kind.
A round and nice person will certainly have a red tint to them.
A person that is cold, blue and nice is also considered to be round.
People who are rough are young.
A nice and blue person who's also red will be a rough person.
Someone who's young and frosty cold are actually very nice.