Bob is not round. Dave is kind. Fiona is big. All round things are not young. Rough, kind things are young. Kind things are rough.
Bob is not round.
("Bob" "is" "round" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is big.
("Fiona" "is" "big" "+")
All round things are not young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "-"))
Rough, kind things are young.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
Kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
Dave is kind.
True
1
proof
[(triple2)]
("Dave" "is" "kind" "+")
triple2
Bob is round.
False
1
inv-proof
[(triple1)]
("Bob" "is" "round" "+")
triple1
Dave is rough.
True
2
proof
[(((triple2) -> rule3))]
("Dave" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
2
inv-proof
[(((triple2) -> rule3))]
("Dave" "is" "rough" "-")
((triple2) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
True
4
proof
[(((((triple2) -> rule3) triple2) -> rule2))]
("Dave" "is" "young" "+")
((((triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not young.
False
4
inv-proof
[(((((triple2) -> rule3) triple2) -> rule2))]
("Dave" "is" "young" "-")
((((triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "-")
Fiona is rough.
Unknown
rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "rough" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Bob is not round.[(triple1)] Dave is kind.[(triple2)] Fiona is big.[(triple3)] @1: Dave is rough.[(((triple2) -> rule3))] @2: Dave is young.[(((((triple2) -> rule3) triple2) -> rule2))]
Bob is not round.
("Bob" "is" "round" "-")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((((triple2) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2