Bob is green. Bob is rough. Bob is not round. Charlie is green. Charlie is round. Dave is green. Dave is kind. Fiona is green. Fiona is kind. Fiona is not round. Fiona is white. Fiona is young. Young, nice things are green. All young things are white. Rough things are kind.
Bob is green.
("Bob" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not round.
("Bob" "is" "round" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Young, nice things are green.
((("something" "is" "young" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
All young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Charlie is green.
True
1
proof
[(triple4)]
("Charlie" "is" "green" "+")
triple4
Bob is not green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Bob is kind.
True
2
proof
[(((triple2) -> rule3))]
("Bob" "is" "kind" "+")
((triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not kind.
False
2
inv-proof
[(((triple2) -> rule3))]
("Bob" "is" "kind" "-")
((triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "white" "-")
Dave is white.
Unknown
rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "white" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Bob is green.[(triple1)] Bob is not round.[(triple3)] Bob is rough.[(triple2)] Charlie is green.[(triple4)] Charlie is round.[(triple5)] Dave is green.[(triple6)] Dave is kind.[(triple7)] Fiona is green.[(triple8)] Fiona is kind.[(triple9)] Fiona is not round.[(triple10)] Fiona is white.[(triple11 OR ((triple12) -> rule2))] Fiona is young.[(triple12)] @1: Bob is kind.[(((triple2) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is not round.
("Bob" "is" "round" "-")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is not round.
("Fiona" "is" "round" "-")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
((triple12) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1