Alan is blue and cold. Bob wears all blue. Big Charlie is very nice. Though he is rough and cold he is green and still learning. Even though Fred is young, he is still very round and still very red. A cold, rough person is also round. When young, round people are cold it their skin gets a blue tinge to it. A green person who is kind and a bit blue is young. Any cold, round, green person is going to be young at the same time. A big, young aged person that is green will be round shaped.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
If someone is rough and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is young and round and cold then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and kind and green then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and round and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is big and green and young then they are round.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Fred is young.
True
1
proof
[(triple9)]
("Fred" "is" "young" "+")
triple9
Charlie is not nice.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "nice" "-")
triple5
Charlie is round.
True
3
proof
[(((triple4 triple7) -> rule1))]
("Charlie" "is" "round" "+")
((triple4 triple7) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
3
inv-proof
[(((triple4 triple7) -> rule1))]
("Charlie" "is" "round" "-")
((triple4 triple7) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
True
6
proof
[(((triple7 ((triple4 triple7) -> rule1) triple6) -> rule4))]
("Charlie" "is" "young" "+")
((triple7 ((triple4 triple7) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not young.
False
6
inv-proof
[(((triple7 ((triple4 triple7) -> rule1) triple6) -> rule4))]
("Charlie" "is" "young" "-")
((triple7 ((triple4 triple7) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
True
11
proof
[(((((triple7 ((triple4 triple7) -> rule1) triple6) -> rule4) ((triple4 triple7) -> rule1) triple7) -> rule2))]
("Charlie" "is" "blue" "+")
((((triple7 ((triple4 triple7) -> (rule1 % int3)) triple6) -> (rule4 % int2)) ((triple4 triple7) -> (rule1 % int3)) triple7) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not blue.
False
11
inv-proof
[(((((triple7 ((triple4 triple7) -> rule1) triple6) -> rule4) ((triple4 triple7) -> rule1) triple7) -> rule2))]
("Charlie" "is" "blue" "-")
((((triple7 ((triple4 triple7) -> (rule1 % int3)) triple6) -> (rule4 % int2)) ((triple4 triple7) -> (rule1 % int3)) triple7) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "blue" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "young" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
@0: Alan is blue.[(triple2)] Alan is cold.[(triple1)] Bob is blue.[(triple3)] Charlie is big.[(triple8)] Charlie is cold.[(triple7)] Charlie is green.[(triple6)] Charlie is nice.[(triple5)] Charlie is rough.[(triple4)] Fred is red.[(triple11)] Fred is round.[(triple10)] Fred is young.[(triple9)] @1: Charlie is round.[(((triple4 triple7) -> rule1))] @2: Charlie is young.[(((triple7 ((triple4 triple7) -> rule1) triple6) -> rule4))] @3: Charlie is blue.[(((((triple7 ((triple4 triple7) -> rule1) triple6) -> rule4) ((triple4 triple7) -> rule1) triple7) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
triple11
Fred is round.
("Fred" "is" "round" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
((triple4 triple7) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple7 ((triple4 triple7) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple7 ((triple4 triple7) -> (rule1 % int3)) triple6) -> (rule4 % int2)) ((triple4 triple7) -> (rule1 % int3)) triple7) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Alan is blue and cold.
Bob wears all blue.
Big Charlie is very nice; Though he is rough and cold he is green and still learning.
Even though Fred is young, he is still very round and still very red.
A cold, rough person is also round.
When young, round people are cold it their skin gets a blue tinge to it.
A green person who is kind and a bit blue is young.
Any cold, round, green person is going to be young at the same time.
A big, young aged person that is green will be round shaped.