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