Charlie is rough. Charlie is round. Fiona is smart. All nice things are not smart. All smart things are not red. If Charlie is rough then Charlie is smart. Round things are not young. All red things are round. If something is round and not young then it is green.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All nice things are not smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "-"))
All smart things are not red.
((("something" "is" "smart" "+")) -> ("something" "is" "red" "-"))
If Charlie is rough then Charlie is smart.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "smart" "+"))
Round things are not young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "-"))
All red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something is round and not young then it is green.
((("something" "is" "round" "+") ("something" "is" "young" "~")) -> ("something" "is" "green" "+"))
Charlie is round.
True
1
proof
[(triple2)]
("Charlie" "is" "round" "+")
triple2
Charlie is not rough.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "rough" "-")
triple1
Charlie is not young.
True
2
proof
[(((triple2) -> rule4))]
("Charlie" "is" "young" "-")
((triple2) -> (rule4 % int1))
Charlie is not young.
("Charlie" "is" "young" "-")
int1
Fiona is red.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "red" "+")
((triple3) -> (rule2 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Charlie is not red.
True
3
proof
[(((((triple1) -> rule3)) -> rule2))]
("Charlie" "is" "red" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is not red.
("Charlie" "is" "red" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is not green.
False
4
inv-proof
[(((triple2 ((triple2) -> rule4)) -> rule6))]
("Charlie" "is" "green" "-")
((triple2 ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not young.
("Charlie" "is" "young" "-")
int2
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is green.
Unknown
rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "green" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Charlie is rough.[(triple1)] Charlie is round.[(triple2)] Fiona is smart.[(triple3)] @1: Charlie is not young.[(((triple2) -> rule4))] Charlie is smart.[(((triple1) -> rule3))] Fiona is not red.[(((triple3) -> rule2))] @2: Charlie is green.[(((triple2 ((triple2) -> rule4)) -> rule6))] Charlie is not red.[(((((triple1) -> rule3)) -> rule2))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Charlie is not young.
("Charlie" "is" "young" "-")
((triple2) -> (rule4 % int1))
Charlie is not young.
("Charlie" "is" "young" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple1) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Fiona is not red.
("Fiona" "is" "red" "-")
((triple3) -> (rule2 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple2 ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not young.
("Charlie" "is" "young" "-")
int2
Charlie is not red.
("Charlie" "is" "red" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is not red.
("Charlie" "is" "red" "-")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2