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