Bob was born only a few years ago so he is young. Charlie is big and rough. Fred, a kind and nice man, is wearing a green sweatshirt. He is also a fairly round sized man in shape. Someone who looks rough and feels cold is also kind to others. Someone who is round in shape and green in color is usually cold. A rather round and big person will be kind, but also blue. Most young and nice people will be kind. A nice person who is always seen to be wearing green clothes will be rather big in size. Big, green people that feel blue are mostly young. People with rough red and blue skin are young.
Bob is young.
("Bob" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and kind and big then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big and green and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and red and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Fred is kind.
True
1
proof
[(triple6)]
("Fred" "is" "kind" "+")
triple6
Charlie is not big.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "big" "-")
triple3
Fred is big.
True
3
proof
[(((triple7 triple5) -> rule5))]
("Fred" "is" "big" "+")
((triple7 triple5) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is not big.
False
3
inv-proof
[(((triple7 triple5) -> rule5))]
("Fred" "is" "big" "-")
((triple7 triple5) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
True
6
proof
[(((triple4 triple6 ((triple7 triple5) -> rule5)) -> rule3))]
("Fred" "is" "blue" "+")
((triple4 triple6 ((triple7 triple5) -> (rule5 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is not blue.
False
6
inv-proof
[(((triple4 triple6 ((triple7 triple5) -> rule5)) -> rule3))]
("Fred" "is" "blue" "-")
((triple4 triple6 ((triple7 triple5) -> (rule5 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is young.
True
11
proof
[(((((triple7 triple5) -> rule5) triple7 ((triple4 triple6 ((triple7 triple5) -> rule5)) -> rule3)) -> rule6))]
("Fred" "is" "young" "+")
((((triple7 triple5) -> (rule5 % int3)) triple7 ((triple4 triple6 ((triple7 triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is not young.
False
11
inv-proof
[(((((triple7 triple5) -> rule5) triple7 ((triple4 triple6 ((triple7 triple5) -> rule5)) -> rule3)) -> rule6))]
("Fred" "is" "young" "-")
((((triple7 triple5) -> (rule5 % int3)) triple7 ((triple4 triple6 ((triple7 triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "big" "-")
Charlie is kind.
Unknown
rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "kind" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "cold" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is young.[(triple1)] Charlie is big.[(triple3)] Charlie is rough.[(triple2)] Fred is green.[(triple7)] Fred is kind.[(triple6)] Fred is nice.[(triple5)] Fred is round.[(triple4)] @1: Fred is big.[(((triple7 triple5) -> rule5))] Fred is cold.[(((triple7 triple4) -> rule2))] @2: Fred is blue.[(((triple4 triple6 ((triple7 triple5) -> rule5)) -> rule3))] @3: Fred is young.[(((((triple7 triple5) -> rule5) triple7 ((triple4 triple6 ((triple7 triple5) -> rule5)) -> rule3)) -> rule6))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
((triple7 triple5) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple7 triple4) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple4 triple6 ((triple7 triple5) -> (rule5 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((((triple7 triple5) -> (rule5 % int3)) triple7 ((triple4 triple6 ((triple7 triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Bob was born only a few years ago so he is young.
Charlie is big and rough.
Fred, a kind and nice man, is wearing a green sweatshirt; He is also a fairly round sized man in shape.
Someone who looks rough and feels cold is also kind to others.
Someone who is round in shape and green in color is usually cold.
A rather round and big person will be kind, but also blue.
Most young and nice people will be kind.
A nice person who is always seen to be wearing green clothes will be rather big in size.
Big, green people that feel blue are mostly young.
People with rough red and blue skin are young.