Alan is rough and cold, but he's young and will get over it. Big, round Charlie is also known to be nice, kind and young. Eric was born only a few years ago so he is young. Harry is known to be rough and green. Nice young people who are round are also blue. When a person's traits are to be big, blue and cold, they will also have a red trait. Being cold and blue made them rough to deal with. A big and round shaped, blue person will be cold for sure.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is nice and young and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and cold and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and blue and big then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Charlie is big.
True
1
proof
[(triple8)]
("Charlie" "is" "big" "+")
triple8
Charlie is not big.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "big" "-")
triple8
Charlie is blue.
True
4
proof
[(((triple6 triple4 triple5) -> rule1))]
("Charlie" "is" "blue" "+")
((triple6 triple4 triple5) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
4
inv-proof
[(((triple6 triple4 triple5) -> rule1))]
("Charlie" "is" "blue" "-")
((triple6 triple4 triple5) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
True
7
proof
[(((triple5 ((triple6 triple4 triple5) -> rule1) triple8) -> rule4))]
("Charlie" "is" "cold" "+")
((triple5 ((triple6 triple4 triple5) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not cold.
False
7
inv-proof
[(((triple5 ((triple6 triple4 triple5) -> rule1) triple8) -> rule4))]
("Charlie" "is" "cold" "-")
((triple5 ((triple6 triple4 triple5) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
True
12
proof
[(((((triple5 ((triple6 triple4 triple5) -> rule1) triple8) -> rule4) ((triple6 triple4 triple5) -> rule1)) -> rule3))]
("Charlie" "is" "rough" "+")
((((triple5 ((triple6 triple4 triple5) -> (rule1 % int3)) triple8) -> (rule4 % int2)) ((triple6 triple4 triple5) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not red.
False
13
inv-proof
[(((triple8 ((triple5 ((triple6 triple4 triple5) -> rule1) triple8) -> rule4) ((triple6 triple4 triple5) -> rule1)) -> rule2))]
("Charlie" "is" "red" "-")
((triple8 ((triple5 ((triple6 triple4 triple5) -> (rule1 % int3)) triple8) -> (rule4 % int2)) ((triple6 triple4 triple5) -> (rule1 % int3))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "red" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "+")
Eric is not rough.
Unknown
inv-rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Eric" "is" "rough" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "cold" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is cold.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple8)] Charlie is kind.[(triple7)] Charlie is nice.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Eric is young.[(triple9)] Harry is green.[(triple11)] Harry is rough.[(triple10)] @1: Charlie is blue.[(((triple6 triple4 triple5) -> rule1))] @2: Charlie is cold.[(((triple5 ((triple6 triple4 triple5) -> rule1) triple8) -> rule4))] @3: Charlie is red.[(((triple8 ((triple5 ((triple6 triple4 triple5) -> rule1) triple8) -> rule4) ((triple6 triple4 triple5) -> rule1)) -> rule2))] Charlie is rough.[(((((triple5 ((triple6 triple4 triple5) -> rule1) triple8) -> rule4) ((triple6 triple4 triple5) -> rule1)) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple6 triple4 triple5) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5 ((triple6 triple4 triple5) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((triple8 ((triple5 ((triple6 triple4 triple5) -> (rule1 % int3)) triple8) -> (rule4 % int2)) ((triple6 triple4 triple5) -> (rule1 % int3))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple5 ((triple6 triple4 triple5) -> (rule1 % int3)) triple8) -> (rule4 % int2)) ((triple6 triple4 triple5) -> (rule1 % int3))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Alan is rough and cold, but he's young and will get over it.
Big, round Charlie is also known to be nice, kind and young.
Eric was born only a few years ago so he is young.
Harry is known to be rough and green.
Nice young people who are round are also blue.
When a person's traits are to be big, blue and cold, they will also have a red trait.
Being cold and blue made them rough to deal with.
A big and round shaped, blue person will be cold for sure.