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