Charlie is red. Charlie is round. Charlie is white. Dave is round. Dave is young. Fiona is big. Fiona is round. Gary is not red. Gary is white. Gary is not young. Furry things are not white. Young, white things are rough. All red things are young. If Gary is rough then Gary is furry. Red things are round. Rough things are red.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is white.
("Gary" "is" "white" "+")
Gary is not young.
("Gary" "is" "young" "-")
Furry things are not white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "-"))
Young, white things are rough.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
All red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If Gary is rough then Gary is furry.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "furry" "+"))
Red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
Rough things are red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Dave is round.
True
1
proof
[(triple4)]
("Dave" "is" "round" "+")
triple4
Dave is not round.
False
1
inv-proof
[(triple4)]
("Dave" "is" "round" "-")
triple4
Charlie is young.
True
2
proof
[(((triple1) -> rule3))]
("Charlie" "is" "young" "+")
((triple1) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple1) -> rule3))]
("Charlie" "is" "young" "-")
((triple1) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
True
4
proof
[(((((triple1) -> rule3) triple3) -> rule2))]
("Charlie" "is" "rough" "+")
((((triple1) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not rough.
False
4
inv-proof
[(((((triple1) -> rule3) triple3) -> rule2))]
("Charlie" "is" "rough" "-")
((((triple1) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "rough" "-")
Fiona is red.
Unknown
rconc
[@2: Fiona is red.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "rough" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Charlie is red.[(triple1)] Charlie is round.[(triple2 OR ((triple1) -> rule5))] Charlie is white.[(triple3)] Dave is round.[(triple4)] Dave is young.[(triple5)] Fiona is big.[(triple6)] Fiona is round.[(triple7)] Gary is not red.[(triple8)] Gary is not young.[(triple10)] Gary is white.[(triple9)] @1: Charlie is young.[(((triple1) -> rule3))] @2: Charlie is rough.[(((((triple1) -> rule3) triple3) -> rule2))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
((triple1) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Gary is not red.
("Gary" "is" "red" "-")
triple8
Gary is not young.
("Gary" "is" "young" "-")
triple10
Gary is white.
("Gary" "is" "white" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
((triple1) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple1) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2