Dave is red. Dave is rough. Dave is round. Dave is young. Fiona is nice. Fiona is young. Gary is not red. All rough, young people are white. Young people are rough. White, nice people are red.
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is not red.
("Gary" "is" "red" "-")
All rough, young people are white.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
Young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
White, nice people are red.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Fiona is young.
True
1
proof
[(triple6)]
("Fiona" "is" "young" "+")
triple6
Fiona is not young.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "young" "-")
triple6
Dave is white.
True
3
proof
[(((triple2 triple4) -> rule1) OR ((((triple4) -> rule2) triple4) -> rule1))]
("Dave" "is" "white" "+")
((triple2 triple4) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple4) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Fiona is not rough.
False
2
inv-proof
[(((triple6) -> rule2))]
("Fiona" "is" "rough" "-")
((triple6) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
True
4
proof
[(((((triple6) -> rule2) triple6) -> rule1))]
("Fiona" "is" "white" "+")
((((triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not white.
False
4
inv-proof
[(((((triple6) -> rule2) triple6) -> rule1))]
("Fiona" "is" "white" "-")
((((triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is white.
Unknown
rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Dave is red.[(triple1)] Dave is rough.[(triple2 OR ((triple4) -> rule2))] Dave is round.[(triple3)] Dave is young.[(triple4)] Fiona is nice.[(triple5)] Fiona is young.[(triple6)] Gary is not red.[(triple7)] @1: Dave is white.[(((triple2 triple4) -> rule1) OR ((((triple4) -> rule2) triple4) -> rule1))] Fiona is rough.[(((triple6) -> rule2))] @2: Fiona is white.[(((((triple6) -> rule2) triple6) -> rule1))] @3: Fiona is red.[(((((((triple6) -> rule2) triple6) -> rule1) triple5) -> rule3))]
Dave is red.
("Dave" "is" "red" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
((triple4) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
Gary is not red.
("Gary" "is" "red" "-")
triple7
Dave is white.
("Dave" "is" "white" "+")
((triple2 triple4) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple4) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple6) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((((triple6) -> (rule2 % int3)) triple6) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3