Anne is furry. Anne is round. Charlie is not blue. Charlie is cold. Charlie is kind. Gary is young. Harry is not blue. Harry is cold. Harry is furry. Harry is kind. Harry is rough. Harry is young. All round, young people are cold. All round, cold people are not rough. If someone is blue and not furry then they are rough. Young, round people are kind. If someone is furry and not blue then they are kind. If someone is round then they are young.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
All round, young people are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
All round, cold people are not rough.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "-"))
If someone is blue and not furry then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "rough" "+"))
Young, round people are kind.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is furry and not blue then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "kind" "+"))
If someone is round then they are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Harry is furry.
True
1
proof
[(triple9)]
("Harry" "is" "furry" "+")
triple9
Charlie is not cold.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "cold" "-")
triple4
Anne is young.
True
2
proof
[(((triple2) -> rule6))]
("Anne" "is" "young" "+")
((triple2) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple2) -> rule6))]
("Anne" "is" "young" "-")
((triple2) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
True
4
proof
[(((((triple2) -> rule6) triple2) -> rule4))]
("Anne" "is" "kind" "+")
((((triple2) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not kind.
False
4
inv-proof
[(((((triple2) -> rule6) triple2) -> rule4))]
("Anne" "is" "kind" "-")
((((triple2) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not rough.
True
6
proof
[(((triple2 ((triple2 ((triple2) -> rule6)) -> rule1)) -> rule2))]
("Anne" "is" "rough" "-")
((triple2 ((triple2 ((triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is not rough.
("Anne" "is" "rough" "-")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is rough.
False
6
inv-proof
[(((triple2 ((triple2 ((triple2) -> rule6)) -> rule1)) -> rule2))]
("Anne" "is" "rough" "+")
((triple2 ((triple2 ((triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is not rough.
("Anne" "is" "rough" "-")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "young" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "+")
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is round.[(triple2)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is not blue.[(triple3)] Gary is young.[(triple6)] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is kind.[(triple10 OR ((triple9 triple7) -> rule5))] Harry is not blue.[(triple7)] Harry is rough.[(triple11)] Harry is young.[(triple12)] @1: Anne is young.[(((triple2) -> rule6))] @2: Anne is cold.[(((triple2 ((triple2) -> rule6)) -> rule1))] Anne is kind.[(((((triple2) -> rule6) triple2) -> rule4))] @3: Anne is not rough.[(((triple2 ((triple2 ((triple2) -> rule6)) -> rule1)) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
((triple9 triple7) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not blue.
("Harry" "is" "blue" "-")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
Anne is young.
("Anne" "is" "young" "+")
((triple2) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
((triple2 ((triple2) -> (rule6 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
((((triple2) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not rough.
("Anne" "is" "rough" "-")
((triple2 ((triple2 ((triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is not rough.
("Anne" "is" "rough" "-")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3