Charlie is rough. Erin is young. Fiona is cold. Gary is white. All white things are young. If something is young then it is smart. If Gary is round then Gary is not rough.
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is white.
("Gary" "is" "white" "+")
All white things are young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If something is young then it is smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If Gary is round then Gary is not rough.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "rough" "-"))
Erin is young.
True
1
proof
[(triple2)]
("Erin" "is" "young" "+")
triple2
Fiona is not cold.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "cold" "-")
triple3
Gary is young.
True
2
proof
[(((triple4) -> rule1))]
("Gary" "is" "young" "+")
((triple4) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "smart" "-")
((triple2) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Gary is smart.
True
3
proof
[(((((triple4) -> rule1)) -> rule2))]
("Gary" "is" "smart" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not smart.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule2))]
("Gary" "is" "smart" "-")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Fiona is not smart.
Unknown
inv-rconc
[@2: Fiona is smart.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Fiona" "is" "smart" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not smart.
Unknown
inv-rconc
[@2: Charlie is smart.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Charlie" "is" "smart" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Charlie is rough.[(triple1)] Erin is young.[(triple2)] Fiona is cold.[(triple3)] Gary is white.[(triple4)] @1: Erin is smart.[(((triple2) -> rule2))] Gary is young.[(((triple4) -> rule1))] @2: Gary is smart.[(((((triple4) -> rule1)) -> rule2))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Erin is young.
("Erin" "is" "young" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Gary is white.
("Gary" "is" "white" "+")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
((triple2) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple4) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2